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