On 2023-09-03 15:35, Hilton Chain wrote:

> On Sun, 03 Sep 2023 12:20:12 +0800,
> Andrew Tropin wrote:
>>
>> I see the the pull request in the comment merged, is this patch still
>> relevant?
>
> Still relevant.  I opened the pull request right before sending this
> patch, it's now merged but not in a release.

I see.  Thank you for your work!  Applied, checked the build, merged.

-- 
Best regards,
Andrew Tropin