Hi Hugues,

Two things:

1. Preferably in the same commit, but if you forgot, in another commit, please add an entry in ChangeLog

2. On sf.net, for the related ticket, prefix the subject with "ok" mentioning which version contains the fix; then change the priority to 1 and the status to "resolved"

Regards,