Zulip Chat Archive
Stream: mathlib4
Topic: !4#3113
Heather Macbeth (Mar 27 2023 at 06:00):
This PR (Std bump) touches 29 files, prompt review would be welcome!
Jeremy Tan (Mar 27 2023 at 06:19):
I'm on it
Jeremy Tan (Mar 27 2023 at 06:28):
:+1:
Johan Commelin (Mar 27 2023 at 06:36):
@Heather Macbeth Thanks a lot for doing this bump, and for explaining carefully how you did it.
Last updated: Dec 20 2023 at 11:08 UTC