On Sat, Mar 29, 2025 at 7:09 PM Andres Freund <andres(at)anarazel(dot)de> wrote:
> Hi,
>
> On 2025-03-29 13:17:44 -0400, Andres Freund wrote:
> > On 2025-03-28 13:47:16 -0400, Andres Freund wrote:
> > > Attached is a fix for the issue.
> >
> > I plan to push this fix soon, unless somebody protests...
>
> And done.
>
Hi!
Sorry to get into this thread a bit late. Just to let you know that now
that I'm caught up, I do agree it looks right.
And - thanks for handling this!
//Magnus