Le 11/4/21 à 21:12, Tim Duesterhus a écrit :
This patch effectively is identical to 7ba98480cc5b2ede0fd4cca162959f66beb82c82.

Merged, thanks Tim!

--
Christopher Faulet

Reply via email to