I have proposed a similar patch in pr95998.

I cannot commit to git!-(

Thanks

Dominique

Reply via email to