Just a short status update: 5.4 has been released clarifying some license information and including the PDF sources. Unfortunately we discovered a segmentation fault at startup. But this will be fixed soon upstream too and then the package will be built and uploaded to NEW.
Regards, Daniel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
