[darcs-devel] [patch1972] include junk in random PatchInfos

Ganesh Sittampalam bugs at darcs.net
Tue Jan 28 13:41:23 UTC 2020


New submission from Ganesh Sittampalam <ganesh at earth.li>:

This is useful for generating random Nameds (in a future
submission).

1 patch for repository darcs-unstable at darcs.net:screened:

patch 547042fce3d39debeba074fb5f8063da30a87d87
Author: Ganesh Sittampalam <ganesh at 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.

----------
files: include-junk-in-random-patchinfos.dpatch, patch-preview.txt, unnamed
messages: 21758
nosy: ganesh
status: needs-screening
title: include junk in random PatchInfos

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1972>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 3098 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200128/e013f316/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: include-junk-in-random-patchinfos.dpatch
Type: application/x-darcs-patch
Size: 16480 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200128/e013f316/attachment-0001.bin>
-------------- next part --------------
.





More information about the darcs-devel mailing list