[MERGE] Fix bug #235407, when the same revision is merged twice
robertc at robertcollins.net
Mon Jun 2 04:41:48 BST 2008
Robert Collins has voted reject.
Status is now: Vetoed
merge is definitely doing the wrong thing and should not be any harder
to fix: there were tests at one point that add_parent_ids would
normalise any new parents so only the heads were listed.
For details, see:
More information about the bazaar