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!

Attachment: signature.asc
Description: PGP signature

Reply via email to