Stream: Coq devs & plugin devs

Topic: coq-club moderated by default?


view this post on Zulip Emilio Jesús Gallego Arias (May 06 2021 at 20:34):

Hi folks, have we switched coq-club to full moderation?


Last updated: Dec 01 2023 at 04:01 UTC