Patch 1834: document and add property for PrimPatchId invariant - Darcs bug tracker

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

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

Files
File name	Status	Uploaded	Type	Edit	Remove
document-and-add-property-for-primpatchid-invariant.dpatch		bfrk, 2019-06-15.10:40:57	application/x-darcs-patch
patch-preview.txt		bfrk, 2019-06-15.10:40:57	text/x-darcs-patch
unnamed		bfrk, 2019-06-15.10:40:57	text/plain

See mailing list archives for discussion on individual patches.

Messages
msg20830 (view)	Author: bfrk	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 Attachments document-and-add-property-for-primpatchid-invariant.dpatch patch-preview.txt unnamed
msg20894 (view)	Author: bfrk	Date: 2019-07-08.16:15:39
Will send this and another related patch as follow-up to patch1823.

History
Date	User	Action	Args
2019-06-15 10:40:57	bfrk	create
2019-07-08 16:15:40	bfrk	set	status: needs-screening -> obsoleted messages: + msg20894