On Mon, Jan 11, 2021 at 9:26 PM Peter Geoghegan <p...@bowt.ie> wrote: > I'm going to proceed with committing the original version of the patch > -- I feel that this settles it.
Pushed both patches from the patch series just now. Thanks for the code reviews and benchmarking work! -- Peter Geoghegan