> > Do you want me to add it to mantis ? > > Mantis always is good idea because then everybody from team see it > in the list of not resolved task... Done #2007. Pierre Rossel