[Ur] Server threads?

[Adam Chlipala]

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<adamc at impredicative.com>  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.