Hi all. Once a ticket is open, it is apparently not possible to assigni it to a dev. This is unconvenient. All the best. pc -- Paolo Cavallini, see: * http://www.faunalia.it/pc *