Skip Montanaro writes:
Functionally, the checkin isn't a muff (it does have the change I intended), but I was worried about the version number. Should I have checked it in as version 1.34.2.1 or 1.35?
If the change should happen on the branch, leave it in. If it's also needed on the HEAD, check it in again there, and you're done.
-Fred