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)
commit41f1344117d940a3b4cd743221a537b5939ef878
treeac64cfccf52960bcaa6681852b68338eb5fbb745
parent8727ef1882715122f8ddf666477e4322cfabb52b
parentfcd9fbfbf835ab0031c331f892ae6f1098ba12f4
Merge "(bug 42466) Allow djvutxt to use more memory"