Zulip Chat Archive
Stream: FoMM / Lean Together 2020
Topic: Notes of maintainers meeting?
Yury G. Kudryashov (Jan 11 2020 at 01:55):
It would be nice if someone will write down (brief) notes of what was discussed/decided during the maintainers meeting at FoMM.
Last updated: Dec 20 2023 at 11:08 UTC