I did that. Please remove your own patch. JMarc
Le 6 avril 2017 13:47:40 GMT+02:00, Jean-Marc Lasgouttes <lasgout...@lyx.org> a écrit : >> I've forgotten the topic, but perhaps this patch should go into >master >> at some suitable point. > >I am going to do it right now.