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

Ben Franksen bugs at darcs.net
Sun Aug 18 08:24:31 UTC 2019


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

Screening them now.

----------
status: needs-screening -> needs-review

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


More information about the darcs-devel mailing list