[darcs-users] darcs patch: couple of GADT build fixes for recent GHCs

Jason Dagit dagit at codersbase.com
Wed Sep 2 01:33:56 UTC 2009


On Sun, Aug 30, 2009 at 5:33 AM, Ganesh Sittampalam<ganesh at earth.li> wrote:
> Mon Aug  3 06:05:14 BST 2009  Ganesh Sittampalam <ganesh at earth.li>
>  * couple of GADT build fixes for recent GHCs

Applied.  Thanks!


More information about the darcs-users mailing list