On Mon, Jan 11, 2021 at 9:26 PM Peter Geoghegan <[email protected]> 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
