Re: Fix to increment the index scan counter for the bloom filter index

[Peter Geoghegan]

On Tue, Nov 12, 2024 at 7:45 PM Masahiro Ikeda <ikeda...@oss.nttdata.com> wrote:
> On 2024-11-13 06:23, Peter Geoghegan wrote:
> > I'll commit this and backpatch once the release tags for the pending
> > set of point releases are pushed.
>
> OK, thanks.

Pushed.

Thanks

-- 
Peter Geoghegan