On Sat, Mar 29, 2025 at 7:09 PM Andres Freund <andres@anarazel.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.