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: May 02 2025 at 03:31 UTC