Ported the changes to the CHANGES file (r5816) from the 1.2.13 tag.
The command used was: svn merge -r5815:5816 svn+ssh://bugman@.../svn/relax/tags/1.2.13
Authored by: bugman 2008-04-19
Parent: [r5816]
Child: [r5818]