On Tue, Jun 24, 2025 at 1:53 PM Tomas Vondra <to...@vondra.me> wrote: > > Thanks for noticing this. I'd probably be +0.5 to backpatch this, even > if it's ultimately harmless, just to keep the code not confusing.
Okay, I can backpatch this (to 14, I believe). I'll wait until the thread has been around for closer to 24 hours before doing anything, though. - Melanie