Stream: Coq devs & plugin devs

Topic: vacances


view this post on Zulip Gaëtan Gilbert (Aug 21 2021 at 07:20):

I'll be on break for ~2weeks, don't make PRs wait for me


Last updated: Jun 04 2023 at 19:30 UTC