I thought I had, but the commit to subversion failed with "ssh_exchange_identification:
Connection closed by remote host". It seems that svn.gna.org is having problems ?

Anyway I'll commit as soon as I can :-)

Thanks