Merged revisions 24720 via svnmerge from
svn+ssh://bugman@.../svn/relax/trunk
........ r24720 | bugman | 2014-07-24 17:19:05 +0200 (Thu, 24 Jul 2014) | 6 lines Reverted r24718 as this was rubbish. The command used was: svn merge -r24718:24717 . ........
Authored by: bugman 2014-07-24
Parent: [r24720]
Child: [r24722]
