On Wed, Sep 17, 2008 at 10:11:02AM +0200, Jakub Narebski <firstname.lastname@example.org>=
Sure, but given that both 'a' and 'b' merged (so none of them is subset
of the other, for example so that reduce_heads() would drop one of them)
the order of the parents will be different so the resulting commit will
differ. The resulting tree will no, I think.