Am 31.01.2017 um 12:15 tastete Norbert Preining: Hi Norbert,
Furthermore, why did this bug report not end up on the debian-tex-maint mailing list? At least I did not see it there and it is not in my inbox?
https://lists.debian.org/debian-tex-maint/2017/01/msg00153.html H. -- #206401 http://counter.li.org