Hi sorry, don't have much time at the moment. Do I just need to send an email to the gnu-list or do I need to do anything else?
It's probably also OK if someone else does this, e.g. HGM if you have more time right now, perhaps you want to handle this. Arun
