Just a note that the original commit was accidentally performed on a KARL tag. I reverted the tag in r4907 and re-committed the changes to the trunk in r4908.
Just a note that the original commit was accidentally performed on a KARL tag. I reverted the tag in r4907 and re-committed the changes to the trunk in r4908.