[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