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