Le 5/17/23 à 17:16, Daniel Epperson a écrit :
I have attached the patch.

Thanks Daniel ! Too late for the dev12 but now merged :)

--
Christopher Faulet


Reply via email to