E’ stata rilasciata una nuova versione di Opera Mini, passiamo dalla versione 4.2.13337 alla 4.2.13918.
Opera Mini è il browser mobile gratuito più famoso è utilizzato al mondo.