[Ur] Server threads?

[Chris Double]

On Sat, Dec 18, 2010 at 11:32 AM, Adam Chlipala <adamc at impredicative.com> wrote:
>
> 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.

In account/preferences of Mantis you can configure things to get email
on changes. You can also get RSS feeds for just about anything that
Mantis does.

Chris.
-- 
http://www.bluishcoder.co.nz