[darcs-devel] [patch1883] get rid of unused ShowDictRecord (and 2 more)

Ben Franksen bugs at darcs.net
Tue Aug 20 18:34:55 UTC 2019


Ben Franksen <ben.franksen at online.de> added the comment:

> That was the reason I didn't immediately screen it, apologies
> if I didn't make it clear enough.

Okay. Looks like we should obliterate it as soon as possible before we
push (any more?) patches that depend on it. I think rebasing this patch
is a lot easier than rolling it back. BTW, hub.darcs.net now allows to
obliterate patches, see their FAQ.

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


More information about the darcs-devel mailing list