Martin Vermeer wrote: > Perhaps this should be called an enhancement request and get its own bug > number.
perhaps. > > Now convince HIM to put the #2015-fix in ;-) > > Which of them? ;-) Lars or Gullik. Jean and Marc have already expressed their principal accordance on bugzilla IIRC. Jür & gen