Ported r2850 to r2852 from the 1.3 line.
The command used was: svn merge -r2849:2852 svn+ssh://bugman@.../svn/relax/1.3
Authored by: bugman 2006-12-02
Parent: [r2905]
Child: [r2907]