Le jeu. 8 févr. 2024 à 02:35, Yuan Fu <casouri@gmail.com> a écrit :


Actually, here’s what I would write for your change, feel free to modify it as you like.


Many thanks for the step-by-step instructions! Attached is what `git format-patch` gave me, I hope that I got everything right.

Yours truly,
 
--
 Dominique Quatravaux
 dominique@quatravaux.org