On Sat, Mar 29, 2025 at 7:09 PM Andres Freund <and...@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. And - thanks for handling this! //Magnus
