When I visit https://sympa.inria.fr/sympa/arc/coq-club/2021-02/msg00090.html, I get a Forbidden error, and when I visit https://sympa.inria.fr/sympa/suboptions/coq-club, the "archive" is no longer clickable. What's up?
@Jason Gross See https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/Coq-club.20still.20down.3F
Last updated: Oct 13 2024 at 01:02 UTC