On Sun, Dec 04, 2016 at 11:57:29AM +0100, Guillaume Munch wrote: > Le 04/12/2016 à 00:57, Enrico Forestieri a écrit : > > On Sat, Dec 03, 2016 at 11:59:33PM +0100, Guillaume Munch wrote: > > > > > > This is the same as > > > https://www.mail-archive.com/lyx-devel@lists.lyx.org/msg196794.html. I > > > have now backported the fix. > > > > Hmmm... a quite convoluted patch. There was a one-liner fixing this. > > > > But then you are repeating the discussion above. What point are you > trying to make?
Given two equivalent patches, the simpler is preferable. -- Enrico