On Fri, Oct 07, 2016 at 10:00:09PM +0200, Jean-Pierre Chrétien wrote: > > Sure, I mentioned in a previous thread that it could trigger an error e.g. > in splash.lyx.
Indeed, I think I stole the idea from you: https://www.mail-archive.com/search?l=mid&q=caa2c11f-2c40-f782-6193-df1667b981a3%40free.fr You are more than welcome to make the changes if we agree on the list this is the right thing to do. But first we must discuss Günter's concern. Scott
Description: PGP signature