This is useful for generating random Nameds (in a future
1 patch for repository firstname.lastname@example.org:screened:
Author: Ganesh Sittampalam <email@example.com>
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.