Zulip Chat Archive
Stream: mathlib4
Topic: mathlib4#604
Ruben Van de Velde (Nov 17 2022 at 10:39):
Could someone update the labels on mathlib4#604 and/or give me access to do it myself?
Anne Baanen (Nov 17 2022 at 11:26):
I've changed the labels and sent you an invite.
Ruben Van de Velde (Nov 17 2022 at 11:33):
Thanks!
Last updated: Dec 20 2023 at 11:08 UTC