Zulip Chat Archive
Stream: nightly-testing
Topic: batteries#825 adaptations for nightly-2024-06-06
Kim Morrison (Jun 06 2024 at 11:51):
These are the adaptations made on nightly-testing, needed to bring Batteries up to nightly-2024-06-06 (which will become v4.9.0-rc1).
Johan Commelin (Jun 06 2024 at 11:53):
batteries#825 I suppose?
Last updated: May 02 2025 at 03:31 UTC