On Tue, Jun 16, 2015 at 08:33:41AM +0200, Jürgen Spitzmüller wrote: > 2015-06-16 1:23 GMT+02:00 Scott Kostyshak <skost...@lyx.org>: > > > Am I correct > > that the disadvantage of such a change is that the documents of users > > might suddenly fail to compile? > > > > Not if they are set up properly.
Do you think that the pre-requisites for triggering #9633 are rare? That bug seems to have bit many of our own documents. Scott
