Excerpts from Adam Chlipala's message of Tue Jan 25 13:00:40 +0100 2011: > I'm not sure the mailing list is the best place to send patches. I > would prefer Mantis issues, but then it's harder for others to watch and > comment.
Maybe the perfect way is cloning and poting a link to the mercurial repo here? I'm not sure about it. Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
