On 11/15/11 11:14 PM, Thomas Hartman wrote:
> Who wants to do it?
> Also please cc names I may have forgotten!
I would love to do it, but unfortunately I'm going to be away most of
Saturday. I hate when family obligations get in the way of a good
afternoon relaxing with Coq.