On Wed, 3 Jun 2026 at 10:13, Richard Guo <[email protected]> wrote: > > On Wed, Jun 3, 2026 at 5:59 AM David Rowley <[email protected]> wrote: > > Yes, that's not intentional. Your proposed fix looks correct. Are you > > happy to go ahead with pushing and backpatching that? > > Thanks for taking a look. Yeah, I'm happy to push that. I'm kind of > unsure whether this needs to be back-patched, since it doesn't lead to > wrong plans, so it isn't a live bug in practice.
I'd prefer it to be fully gone in all versions that have it, if you don't mind doing that. David
