[darcs-devel] [patch1895] remove unused functions from D.P.W.Sealed (and 1 more)

Ganesh Sittampalam bugs at darcs.net
Mon Sep 2 19:25:11 UTC 2019


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

We can follow up on the laziness of unseal in a new patch at some point.
Also just for reference there was extensive discussion of the current
behaviour in patch1880.

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


More information about the darcs-devel mailing list