Yes, it seems fine to me, thanks. JMarc
Le 19 juillet 2020 21:40:33 GMT+02:00, Thibaut Cuvelier <tcuvel...@lyx.org> a écrit : >Hi Jean-Marc, > >Thanks for noticing, I've amended this commit! (Did I do this >correctly?) -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
