E’ stata rilasciata la nuova versione di Opera Mini, si tratta della numero 4.2.13918.

Opera Mini, è il browser mobile più famoso e usato al mondo, sia perchè funziona molto bene, ma anche perchè è molto leggero.

La nuova versione non apporta tante novità in più, ma riesce a risolvere dei bug minori.

Ecco il changelog:
-aggiunto il supporto all’inglese sudafricano (en-za)
-aggiunto il supporto allo spagnolo del Guatemala (es-gt)
-modifiche ai bookmark
-cambiato il motore di ricerca di default della versione ucraina: da Google si è passati ora a Yandex
-correzione di bug minori

Fonte
http://www.mobileblog.it