> On 1 Aug 2020, at 20:30, Peter Geoghegan <p...@bowt.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
