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: Oct 21 2021 at 20:02 UTC