Reverted r14438 as the code actually was used.
The command used was: svn merge -r14438:14437 .
Authored by: bugman 2011-08-25
Parent: [r14438]
Child: [r14440]