[darcs-devel] [patch1834] document and add property for PrimPatchId invariant
Ben Franksen
bugs at darcs.net
Mon Jul 8 16:15:40 UTC 2019
Ben Franksen <ben.franksen at online.de> added the comment:
Will send this and another related patch as follow-up to patch1823.
----------
status: needs-screening -> obsoleted
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1834>
__________________________________
More information about the darcs-devel
mailing list