darcs

Patch 1972 include junk in random PatchInfos

Title include junk in random PatchInfos
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

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

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
msg21774 (view) Author: bf Date: 2020-01-30.18:49:13
Makes sense.
History
Date User Action Args
2020-01-28 13:41:23ganeshcreate
2020-01-28 13:42:59ganeshsetstatus: needs-screening -> needs-review
2020-01-30 18:49:13bfsetstatus: needs-review -> accepted
messages: + msg21774