Merge "(bug 42466) Allow djvutxt to use more memory"
authorReedy <reedy@wikimedia.org>
Thu, 6 Dec 2012 19:58:22 +0000 (19:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 6 Dec 2012 19:58:22 +0000 (19:58 +0000)

Trivial merge