Le 21 juillet 2019 11:33:54 GMT+02:00, "Jürgen Spitzmüller" <sp...@lyx.org> a écrit : >Am Sonntag, den 21.07.2019, 11:07 +0200 schrieb Jean-Marc Lasgouttes: >> Yes, I did a mv instead of git mv. >> >> Fixed now. > >Did you push? > >Jürgen
Probably not :) But I am not home until this evening now. Can you push please ? Jmarc
