On Fri, 11 Dec 2009, Matthias Julius wrote: > Anyway i would really like to see #4146 fixed before the next nightly > build. Done. I will check the others tomorrow. Ciao -- http://www.dstoecker.eu/ (PGP key available)