On Fri, Sep 20, 2024 at 10:59 AM Peter Geoghegan <p...@bowt.ie> wrote: > On Fri, Sep 20, 2024 at 10:07 AM Tomas Vondra <to...@vondra.me> wrote: > > Yes, I think backpatching to 17 would be fine. I'd be worried about > > maybe disrupting some monitoring in production systems, but for 17 that > > shouldn't be a problem yet. So fine with me. > > I'll commit minimal changes to _bt_first that at least make the > counters consistent, then. I'll do so soon.
Pushed, thanks -- Peter Geoghegan