Details
-
Bug
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
1.0, 1.2, 1.3.5
Description
It may happen that a commit adds a collision marker for a revision which is already committed. Collision.markCommitRoot() does not perform a conditional update when it adds the collision marker. Though, it checks the document after the update if the marked revision is committed.