On Sun, 18 Dec 2011, Vincent Privat wrote: > I'm fixing #7162 right now. Probably we really have the best developers of the world! Ciao -- http://www.dstoecker.eu/ (PGP key available)