Stream: Coq devs & plugin devs

Topic: [release team] 8.12 milestone


view this post on Zulip Emilio Jesús Gallego Arias (May 09 2020 at 15:52):

I was going to write this in private to @Théo Zimmermann but IMHO it doesn't hurt to have it here.

Théo, should we meet Monday / Tue and do a pass together over the 8.12 milestone ? I have a feeling that we can already postpone quite a bit of stuff, and have a look to the most serious issues and do a plan for those that are critical. WDYT?

view this post on Zulip Théo Zimmermann (May 09 2020 at 16:02):

Absolutely! I'll send you a PM to fix a time but probably Tuesday would work better for me.

view this post on Zulip Emilio Jesús Gallego Arias (May 09 2020 at 19:37):

Cool thanks!


Last updated: Oct 13 2024 at 01:02 UTC