[darcs-devel] [issue1609] darcs conflict marking gives different results in different orders (OT TP2)

Ben Franksen bugs at darcs.net
Wed Jul 29 16:07:38 UTC 2020

Ben Franksen <ben.franksen at online.de> added the comment:

I am marking this as resolved. Test test succeeds. We can always re-
open this if someone finds a counter example.

status: needs-implementation -> resolved

Darcs bug tracker <bugs at darcs.net>

More information about the darcs-devel mailing list