Reminder mails surely can help since the list is active and developers only have so much time to take care of the things they are interested in, but pinging every three days or so rather annoys me and tends to drift focus *away* from the port.
Understood, Klemens, thank you.
V could be merged into DISTNAME directly but that's up to you.
If you don't mind, I'll keep it this way for the time being.
OK kn
Merci! :-) -JP