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: Apr 20 2024 at 08:02 UTC