Michael Paquier <michael(at)paquier(dot)xyz> writes:
> On Tue, Jan 19, 2021 at 05:03:49PM -0500, Tom Lane wrote:
>> In short I propose the attached patch, which also gets rid of
>> that duplicate query.
> Agreed, +1.
Pushed, thanks for looking at it.
regards, tom lane