Michael Paquier <mich...@paquier.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
