On Fri, Apr 7, 2023 at 7:09 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
>
> On Fri, Apr 7, 2023 at 4:01 PM Melanie Plageman
> <melanieplageman(at)gmail(dot)com> wrote:
> > LGTM
>
> Pushed, thanks.
It's come to my attention that I forgot to include the btree patch earlier.
PFA