Redo r83142 merge manually. QOTD: svnmerge isn't really your best friend
3 files changed