Zulip Chat Archive
Stream: batteries
Topic: v4.3.0-rc2
Kim Morrison (Nov 16 2023 at 11:11):
@Mario Carneiro, the v4.3.0-rc2 bump PR is available now at std4#367.
Kim Morrison (Nov 16 2023 at 11:16):
If it's possible to prioritize this it would be much appreciated, so we can finish the Mathlib bump to v4.3.0-rc2.
Floris van Doorn (Nov 16 2023 at 11:21):
( std4#367 )
Last updated: May 02 2025 at 03:31 UTC