[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