On Thu, May 07, 2020 at 09:18:52AM -0700, Peter Geoghegan wrote:
> On Thu, May 7, 2020 at 4:33 AM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>> So this gives the attached. Any thoughts?
>
> That seems fine.
Thanks for the review. If there are no objections, I would like to
apply that by tomorrow. So please let me know.
--
Michael