The Coq mailing list

[Victor Porton <porton AT narod.ru>]

I am not sure I am writing to a right mailing list, but writing here I can be 
sure it is noticed.

At http://coq.inria.fr/community there is a link to http://coq.inria.fr/bugs/

When I enter my user name and password at http://coq.inria.fr/bugs/ it says: ;
"The username or password you entered is not valid."

I discovered that the reason for this error message is redirection to an URL 
on a different domain: http://www.lix.polytechnique.fr/coq/bugs/index.cgi

Please fix the error with your bugs site.

-- 
Victor Porton - http://portonvictor.org