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