The Coq mailing list

[Keshav Kini <keshav.kini AT gmail.com>]

Hi,

I'm reading the coq-club mailing list through the Gmane NNTP gateway (
http://gmane.org/ ), and it seems that, at least recently, mails are
getting the X-No-Archive header added to them, which means that they
disappear from Gmane's archive after a couple of weeks.

On the other hand, the coq-club archives are freely available at
sympa.inria.fr, so I guess this wasn't a conscious decision to make
coq-club mails disappear from the internet after a short time.  If I've
understood the situation correctly, could I ask the maintainers to
please configure the mailing list to not add these X-No-Archive headers
to mails?

Thanks,
    Keshav