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
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