Ported r2891 from the 1.3 line.
The command used was: svn merge -r2890:2891 svn+ssh://bugman@.../svn/relax/1.3
This fixes bug #7875 (https://gna.org/bugs/index.php?7875).
Authored by: bugman 2006-11-30
Parent: [r2891]
Child: [r2893]
