On Mon, Jan 11, 2021 at 9:26 PM Peter Geoghegan <pg@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