The commands used were:
svn merge -r2744:2746 svn+ssh://bugman@.../svn/relax/1.2
svn merge -r2777:2778 svn+ssh://bugman@.../svn/relax/1.2
This includes editing of the release checklist file, a spell check of the CHANGES file, and the fix
to bug #7677 (https://gna.org/bugs/index.php?7677).
