On Fri, Jul 17, 2020 at 5:53 PM Peter Geoghegan <pg(at)bowt(dot)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