Reverted the debugging code of r4330.
The command used was: svn merge -r4330:4329 svn+ssh://bugman@.../svn/relax/1.3
Authored by: bugman 2008-01-04
Parent: [r4333]
Child: [r4335]