Stream: Coq devs & plugin devs

Topic: holiday

Gaëtan Gilbert (Sep 07 2020 at 07:27):

I'll be mostly offline for a couple weeks

Enrico Tassi (Sep 07 2020 at 07:28):

enjoy

Maxime Dénès (Sep 07 2020 at 07:28):

enjoy!

Last updated: May 31 2023 at 16:01 UTC