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, I get a Forbidden error, and when I visit, 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

Last updated: Oct 16 2021 at 07:02 UTC