Reverted r9538. The wrong file was committed!
The command used was: svn merge -r9538:9537 .
Authored by: bugman 2009-09-18
Parent: [r9538]
Child: [r9540]