[Ur] Server threads?

[Marc Weber]

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?

Marc Weber