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