Patch 1972: include junk in random PatchInfos - Darcs bug tracker

Created on 2020-01-28.13:41:23 by ganesh, last changed 2020-01-30.18:49:13 by bfrk.

Files
File name	Status	Uploaded	Type	Edit	Remove
include-junk-in-random-patchinfos.dpatch		ganesh, 2020-01-28.13:41:23	application/x-darcs-patch
patch-preview.txt		ganesh, 2020-01-28.13:41:23	text/x-darcs-patch
unnamed		ganesh, 2020-01-28.13:41:23	text/plain

See mailing list archives for discussion on individual patches.

Messages
msg21758 (view)	Author: ganesh	Date: 2020-01-28.13:41:23
This is useful for generating random Nameds (in a future submission). 1 patch for repository darcs-unstable@darcs.net:screened: patch 547042fce3d39debeba074fb5f8063da30a87d87 Author: Ganesh Sittampalam <ganesh@earth.li> Date: Tue Jan 28 13:50:00 GMT 2020 * include junk in random PatchInfos We then need to make sure not to remove it when shrinking. Also fix the shrinking implementations to only shrink one thing at a time. Attachments include-junk-in-random-patchinfos.dpatch patch-preview.txt unnamed
msg21774 (view)	Author: bfrk	Date: 2020-01-30.18:49:13
Makes sense.

History
Date	User	Action	Args
2020-01-28 13:41:23	ganesh	create
2020-01-28 13:42:59	ganesh	set	status: needs-screening -> needs-review
2020-01-30 18:49:13	bfrk	set	status: needs-review -> accepted messages: + msg21774