HelloJean-Philippe, Am So., 23. Feb. 2020 um 15:21 Uhr schrieb Jean-Philippe MENGUAL <jpmeng...@debian.org>: > > > > > Jean-Philippe MENGUAL > Le 16/02/2020 à 01:50, Jean-Philippe MENGUAL a écrit : > > > > > > > > Jean-Philippe MENGUAL > > Le 16/02/2020 à 01:06, Jean-Pierre Giraud a écrit : > >> Bonjour, > >> > >> Le 15/02/2020 à 10:01, Jean-Philippe MENGUAL a écrit : > >>> > >>> > >>> > >>> Jean-Philippe MENGUAL > >>> Le 15/02/2020 à 09:40, JP Guillonneau a écrit : > >>>> Bonjour, > >>>> > >>>> suggestions. > >>>> > >>>> Amicalement. > >>>> > >>>> -- > >>>> Jean-Paul > >>> > >>> Merci. Voilà la version actualisée. > >>> > >>> Amicalement, > >> Juste une suppression d'un fuzzy qui restait et une remise à 80 > >> caractère d'un paragraphe. > >> Amicalement, > >> jipege > > > > Merci, voici. > > En ligne.
I don't see any commit which changes man1/catchsegv.1.po. Well, after »git push« failed because your local Git copy wasn't up-to-date, you called »git pull« to merge the changes. But then you have to run »git push« again to push your changes really. Best Regards, Mario