Stream: Coq devs & plugin devs

Topic: coq-club archives no longer public?


view this post on Zulip Jason Gross (Apr 16 2021 at 00:29):

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?

view this post on Zulip Théo Zimmermann (Apr 16 2021 at 07:24):

@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