The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Le mercredi 18 décembre 2013 à 09:43 -0800, Edwin Westbrook a écrit :
> All,
> 
> What is the best way to report Coq bugs? I was a little loath to set up a 
> Bugzilla account, because of the warning about getting spam, and don't 
> really want to go through the hassle of setting up a temporary, fake email 
> account just for a single bug report.
Despite the fact that Bugzilla says :
PRIVACY NOTICE: Bugzilla is an open bug tracking system. Activity on
most bugs, including email addresses, will be visible to the public. We
recommend using a secondary account or free web email service (such as
Gmail, Yahoo, Hotmail, or similar) to avoid receiving spam at your
primary email address.

I would say that you have more exposed your email address to spam by
writing on coq-club (whose archive are publicly available on the web
with only s/@/_AT_/ done on email address) than by registering on the
bugzilla. I mean: email address of a bug reporter is now only visible
for logged registered users, the public only see the pseudo.

It remains annoying to register somewhere only for a single usage. But
there much more than one bug in Coq ;-)
> 
> Thanks,
> -Eddy
Pierre B.