Excerpts from Chris Double's message of Fri Dec 17 14:35:11 +0100 2010: > On Sat, Dec 18, 2010 at 2:16 AM, Adam Chlipala <[email protected]> > wrote: > Thanks, I've added them. Now that I've gotten over my fear of > registering with mantis I'll try and do this for any issues I come up > with.
Does it make sense to post Mantis changes to this list if possible? Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
