English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Mailing list problem
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-12-26 (06:04)
From: Ian Zimmerman <nobrowser@g...>
Subject: Mailing list problem
Can anyone explain why I am unable to subscribe from my present active address?
The same holds for the Coq list, and apparently even my mail to the
list admins personally ends up in a black hole.  Looks to me like an
institution-wide over-eager filtering rule at INRIA.

The address is itzNOSPAM-AT-madbatNOSPAM-DOT-mineNOSPAM-DOT-nuNOSPAM

with the obvious transformations.  If someone contacts me about this,
I can supply the IP of the connecting host.

Thanks, Ian.