Patch 1834 document and add property for PrimPatchId invariant

Title document and add property for PrimPatchId invariant
Superseder Nosy List bf
Related Issues
Status obsoleted Assigned To

Created on 2019-06-15.10:40:57 by bf, last changed 2019-07-08.16:15:40 by bf.

File name Status Uploaded Type Edit Remove
document-and-add-property-for-primpatchid-invariant.dpatch bf, 2019-06-15.10:40:57 application/x-darcs-patch
patch-preview.txt bf, 2019-06-15.10:40:57 text/x-darcs-patch
unnamed bf, 2019-06-15.10:40:57 text/plain
See mailing list archives for discussion on individual patches.
msg20830 (view) Author: bf Date: 2019-06-15.10:40:57
The property is not yet tested, working on that.

1 patch for repository http://darcs.net/screened:

patch f5d79f24bab01bad038670f17c2e56c2d7a45b49
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Jun 15 11:20:33 CEST 2019
  * document and add property for PrimPatchId invariant
msg20894 (view) Author: bf Date: 2019-07-08.16:15:39
Will send this and another related patch as follow-up to patch1823.
Date User Action Args
2019-06-15 10:40:57bfcreate
2019-07-08 16:15:40bfsetstatus: needs-screening -> obsoleted
messages: + msg20894