Le 12/07/2019 à 15:56, David Pirotte a écrit :
Sure thing, Christopher. Patch is attached. Thanks!

Thanks ! merged now.

--
Christopher Faulet

Reply via email to