Skip to content
This tag records a fix for some merge errors.
The details are in the message of the merge commit.
The bad commits are tagged info/mismerge-20120118/bad-merge-* .