Ping David. Le lun. 16 janv. 2023 à 15:08, Guillaume Gomez a écrit : > Ping David. > > Le jeu. 5 janv. 2023 à 23:37, Guillaume Gomez > a écrit : > >> Ping David. >> >> Le sam. 24 déc. 2022 à 21:01, Guillaume Gomez >> a écrit : >> >>> Ping David >>> >>> Le jeu. 15 déc. 2022 à 11:34, Guillaume Gomez < >>> guillaume1.gomez@gmail.com> a écrit : >>> >>>> Forgot it indeed, thanks for notifying me! >>>> >>>> I modified the commit message to add it and added it into this email. >>>> >>>> Le mer. 14 déc. 2022 à 16:12, Antoni Boucher a >>>> écrit : >>>> >>>>> Thanks! >>>>> >>>>> In your patch, you're missing this line at the end of the commit >>>>> message: >>>>> >>>>> Signed-off-by: Guillaume Gomez >>>>> >>>>> On Wed, 2022-12-14 at 14:39 +0100, Guillaume Gomez via Jit wrote: >>>>> > Hi, >>>>> > >>>>> > This fixes bug 107999. >>>>> > >>>>> > Thanks in advance for the review. >>>>> >>>>>