[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