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. Jürgen > > JMarc >
