Zulip Chat Archive
Stream: batteries
Topic: std4#571
Kim Morrison (Feb 01 2024 at 09:38):
std4#571 is ready to merge into bump/v4.6.0. These are Leo's changes for lean#3210.
Kim Morrison (Feb 01 2024 at 09:38):
@Mario Carneiro or @Joe Hendrix, if you want to take a look, please do. Otherwise I will want to merge it in about 12-15 hours once v4.6.0-rc1 is out.
Mario Carneiro (Feb 01 2024 at 10:16):
the commit history is a mess, can you rebase it?
Last updated: May 02 2025 at 03:31 UTC