Zulip Chat Archive
Stream: nightly-testing
Topic: nightly#168 adaptations for nightly-2026-01-30
github mathlib4 bot (Jan 30 2026 at 10:27):
chore: adaptations for nightly-2026-01-30 nightly#168
Please review this PR. At the next toolchain release this diff will land in 'master'.
François G. Dorais (Jan 30 2026 at 12:43):
Deprecation dates are off by a year.
Ruben Van de Velde (Jan 30 2026 at 12:44):
?
François G. Dorais (Jan 30 2026 at 12:45):
Wrong thread, sorry!
Last updated: Feb 28 2026 at 14:05 UTC