On Fri, Jul 17, 2020 at 5:53 PM Peter Geoghegan <p...@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
