Le jeu. 8 févr. 2024 à 02:35, Yuan Fu 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