On Tue, Jun 24, 2025 at 1:53 PM Tomas Vondra <tomas@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