[darcs-devel] [patch775] Remove GADT_WITNESSES ifdef. (and 134 more)
Michael Hendricks
bugs at darcs.net
Fri Apr 13 20:31:22 UTC 2012
Michael Hendricks <michael at ndrix.org> added the comment:
Patch "Remove GADT_WITNESSES ifdef" was missing from reviewed, probably
because it depended on patch774, which hadn't been accepted yet. I've
pushed it now.
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch775>
__________________________________
More information about the darcs-devel
mailing list