Marc Weber wrote:
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?
I'd hope Mantis allows individual interested people to subscribe to
changes, but I'm not sure if it's possible or how it works.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
