Am Dienstag, den 20.05.2014, 06:33 +0200 schrieb Fabian Greffrath: > In my opinion, either the > font should get fixed (prefered) or poppler should get fixed/hacked to > include a workaround and be less picky about the glyph names - it worked > in previous releases after all.
Last week I provided fixes for both. What will happen with these? - Fabian -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org