Reverted r8029. This 'svn cp' went to the wrong place!
The command used on a checked out copy of the 1.2.14 tag was: svn merge -r8029:8028 .
Authored by: bugman 2008-11-27
Parent: [r8029]
Child: [r8031]