On 2013-01-31 at 08:49:35 +0100, Davide De Prisco wrote: > Anche Gentoo mi cambia il nome al mio browser preferito..... visto che upstream ha cambiato il nome, mi sembra il minimo e grazie al cielo! -- Elena ``of Valhalla''