[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