Zulip Chat Archive
Stream: std4
Topic: v4.3.0-rc2
Scott Morrison (Nov 16 2023 at 11:11):
@Mario Carneiro, the v4.3.0-rc2 bump PR is available now at std4#367.
Scott 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: Dec 20 2023 at 11:08 UTC