Juergen Spitzmueller wrote: > > I would prefer 2). Unless someone has a real reason against. > > OK. I'll wait a few days and apply then if there are no objections.
Since there were none, I applied today (including the support for the latin1-only symbols, so the change should be painless now anyway). Jürgen
