Pavel Sanda wrote: > Jürgen Spitzmüller wrote: >> Am Freitag, den 19.02.2016, 18:24 +0100 schrieb Jean-Marc Lasgouttes: >> > I would like that. However, what happens to people who have used it >> > in >> > preamble? There can be a clash if the options are not the same. This >> > is >> > a generic problem actually. What is the plan in such cases? >> >> If it is opt-in (which it should be), this should be not a real >> problem. > > Yeah, it would be off by default. P
I've use it quite a bit, and it needs to be on only for final version (not draft), because it makes compilation _much_ slower
