When committing a patch, please make sure that the following prerequisites are met before doing so:
- Update src/etc/CHANGELOG
- Update src/doc/release-notes.xml
- Update src/doc/contributors.xml (when required).
In addition, please make sure that you ...
- attache this patch to the bug report (so that things can be reversed if there's a need for this).
- mark the bug as 'resolved fixed', and close it eventually (if no interaction with the 'bug reporter' is required anymore, that is). Otherwise, please ask the reporter to reassess the problem, and close the bug once done so.