[Ur] Bug tracker is spammy

Adam Chlipala adamc at impredicative.com
Fri Jul 27 07:52:48 EDT 2012

Edward Z. Yang wrote:
> http://www.impredicative.com/mantis/view.php?id=133
> Maybe we need email validation?

Awww, shucks.  E-mail validation is already occurring, and I don't think 
any bots ever got through before.  For now, I'll stick with the 
wait-and-see approach, but thanks for pointing it out.

More information about the Ur mailing list