Julien Rouhaud <rjuju123(at)gmail(dot)com> writes:> On Mon, Jun 07, 2021 at 03:24:33PM -0400, Tom Lane wrote:>> Concretely, I think the right fix is per attached.
> +1, I agree that this approach is better.
Pushed.
regards, tom lane