> On 1 Aug 2020, at 20:30, Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
> This revised version is essentially the same as your original patch --
> I have only made superficial adjuments. I think that I will be able to
> commit this next week, barring objections.
As we're out of time for the July CF where this is registered, I've moved this
to 2020-09. Based on the above comment, I've marked it Ready for Committer.
cheers ./daniel