Stream:
Coq devs & plugin devs
Topic:
vacances
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: Nov 29 2023 at 18:01 UTC