[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