Hi Patrick,

On 3/12/23 16:42, Patrick Venture wrote:

Friendly ping? Is this going to be applied or do I need to add another CC or?  I do think it should go into stable.

I'll send a PR with this patch included.

Regards,

Phil.

Reply via email to