The Coq mailing list

[Nuno Gaspar <nmpgaspar AT gmail.com>]

Well, if registering really bothers you so much, I guess you could always use a disposable email, like say, mailcatch.com

2013/12/19 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.

--
Bart: Look at me, I'm a grad student, I'm 30 years old and I made $600 dollars last year.
Marge: Bart! Don't make fun of grad students, they just made a terrible life choice.