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.

Greetings,

Andres Freund


Reply via email to