Zulip Chat Archive

Stream: nightly-testing

Topic: PRs to master

Ruben Van de Velde (Mar 20 2024 at 21:11):

I opened #11546 #11547 #11548 to reduce the diff in #11437; quick reviews would be welcome

Kim Morrison (Mar 21 2024 at 00:51):

:memo: on #11546

Kim Morrison (Mar 21 2024 at 00:53):

:merge: on #11547

Kim Morrison (Mar 21 2024 at 00:59):

I added further "Adaptation note"s for the other renamed theorems in #11548, and :peace_sign:'d.

Kim Morrison (Mar 21 2024 at 00:59):

Thanks!!

Ruben Van de Velde (Mar 21 2024 at 09:09):

I replied to the comment on #11546

Last updated: May 02 2025 at 03:31 UTC