Hi! A small update on this: I took over maintainership, so that problem is solved. However, as I just uploaded a new nagvis revision fixing some rc bugs, it will take some more time before I can address this bug. But don't worry, I'll get to it.
Best Regards, Alexander -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org