On 2023-03-22 09:58:58 -0400, Robert Haas wrote:
> On Wed, Mar 22, 2023 at 1:12 AM Andres Freund <andres@anarazel.de> wrote:
> > Patch with the two minimal fixes attached. As we don't know whether it's worth
> > changing the strategy, the more minimal fixes seem more appropriate.
>
> LGTM.
Thanks for checking. Pushed.