[darcs-devel] [patch1855] add a TODO comment to D.P.Prim.Named (and 8 more)
Ben Franksen
bugs at darcs.net
Mon Jul 29 16:36:42 UTC 2019
Ben Franksen <ben.franksen at online.de> added the comment:
Oops. I sent this bundle again, minus a patch I obliterated, plus
another one. This one is now obsolete.
----------
status: needs-screening -> obsoleted
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1855>
__________________________________
More information about the darcs-devel
mailing list