Zulip Chat Archive
Stream: new members
Topic: write access?
Jireh Loreaux (Nov 16 2022 at 03:15):
@maintainers can someone give @Arien Malec write access to mathlib3? GitHub username arienmalec
Last updated: May 02 2025 at 03:31 UTC
@maintainers can someone give @Arien Malec write access to mathlib3? GitHub username arienmalec
Last updated: May 02 2025 at 03:31 UTC