Maxime Dénès (Mar 11 2022 at 10:40): Maxime Dénès (Mar 11 2022 at 10:40):What would you guys think of having a weekly VsCoq call, where we review the status of PRs and issues? If course, if not enough activity during a week, we can always cancel the call.
Fabian Kunze (Mar 11 2022 at 12:23):Maybe, before we commit to a weekly meeting, a "one time meeting" of where we stand with vscoq and what we plan to do with vscoq would be a good idea?
Maxime Dénès (Mar 11 2022 at 12:24):Yes, sure!
Last updated: Jun 04 2023 at 22:30 UTC