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. -- Enrico