On Mon, Jul 23 2012, Wolfgang Schuster wrote:

> Am 23.07.2012 um 13:09 schrieb Peter Münster:
>
>> Thanks. So I guess, the conclusion is, that \setmainfont[...][size=…] is deprecated.
>
> Can you declare a option deprecated which has never existed?

What is this? I'm sure, that I've always used this option without any
problems (copied from some message on this list some time ago), and now,
I realize, that it doesn't work, for *any* font!