On Mon, Feb 06, 2012 at 02:25:38PM +0100, Eckehard Berns wrote: > On Mon, Feb 06, 2012 at 01:39:07PM +0100, Uli Armbruster wrote: > > Ok, since you guys obviously understand this a lot better than I do, would > > one of you like to report this on the mupdf bugtracker? > > Ok, filed a bug report. [...]
That was fast - the bug has been fixed in the git repository. -- Eckehard Berns