[darcs-devel] [patch1979] better shrinking for patches

Ganesh Sittampalam bugs at darcs.net
Sat Feb 22 16:49:33 UTC 2020


Ganesh Sittampalam <ganesh at earth.li> added the comment:

It feels a bit messy. Let me have a go at using PrimOf instead first 
before you screen it.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1979>
__________________________________


More information about the darcs-devel mailing list