Merged revisions 23500 via svnmerge from
svn+ssh://bugman@.../svn/relax/trunk
........ r23500 | bugman | 2014-05-28 11:31:19 +0200 (Wed, 28 May 2014) | 3 lines Fixes for some big mistakes in the previous commit. ........
Authored by: bugman 2014-05-28
Parent: [r23533]
Child: [r23535]
