On Fri, Jul 17, 2020 at 5:53 PM Peter Geoghegan <pg@bowt.ie> wrote:
> Pushed the first patch just now, and intend to push the other one soon. Thanks!
Pushed the second piece of this (the nbtree patch) just now.
Thanks for the review!
--
Peter Geoghegan