Ported r2719 to r2743 from the 1.3 line.
The command used was: svn merge -r2718:2743 svn+ssh://bugman@.../svn/relax/1.3
Authored by: bugman 2006-12-02
Parent: [r2900]
Child: [r2902]