On Tue, Mar 31, 2026 at 2:49 PM Andres Freund <[email protected]> wrote:
>
> So I'd be inclined to push your fix for now.

Done.


Reply via email to