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: Dec 20 2023 at 11:08 UTC
@maintainers can someone give @Arien Malec write access to mathlib3? GitHub username arienmalec
Last updated: Dec 20 2023 at 11:08 UTC