Zulip Chat Archive
Stream: batteries
Topic: v4.5.0-rc1
Kim Morrison (Dec 21 2023 at 23:10):
@Mario Carneiro, the v4.5.0-rc1 toolchain is out, https://github.com/leanprover/std4/pull/479 is the PR bumping the toolchain in Std, and merging the (already reviewed) changes from the bump/v4.5.0 branch.
Kim Morrison (Dec 21 2023 at 23:10):
I'll merge soon?
Last updated: May 02 2025 at 03:31 UTC