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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

