[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>
<http://bugs.darcs.net/issue1609>
__________________________________


More information about the darcs-devel mailing list