Ported r5815 from the 1.2.13 tag.
The command used was: svn merge -r5815:5816 svn+ssh://bugman@.../svn/relax/tags/1.2.13 .
..... r5816 | bugman | 2008-04-19 13:04:23 +0200 (Sat, 19 Apr 2008) | 3 lines
Updated the CHANGES file for relax version 1.2.13. .....
Authored by: bugman 2008-09-28
Parent: [r7428]
Child: [r7430]