Ganesh Sittampalam <[email protected]> added the comment:

I've pushed the build fix in the last patch directly (as it's pretty 
trivial and should fix the buildbots).

__________________________________
Darcs bug tracker <[email protected]>
<http://bugs.darcs.net/patch296>
__________________________________
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to