Leo Famulari <leo@famulari.name> writes:

> On Thu, Jul 11, 2024 at 11:32:53AM -0400, Leo Famulari wrote:
>> Okay, great. I confirm your patch fixes the problem. I'll push it to
>> core-updates on your behalf.
>
> Pushed as 50243774824597dbd141a074a7be0117dc450cef
>
> Thanks for your help!

i think also need this patch.