[MERGE] Fix bug #235407, when the same revision is merged twice

Robert Collins 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 mailing list