Inviato March 5, 2009 Opera Mini. Rilasciata la versione 4.2.13918 Rilasciata una nuova versione di Opera Mini, il browser mobile più famoso e usato in tutto il mondo, per la sua leggerezza e versatilità. La nuova versione, con numero di release 4.2.13918, non aggiunge niente di nuovo alla precedente, ma si limita ad alcune piccole modifiche. 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; Come è facile vedere, si tratta solo di una minor release, e tuttavia, se non altro per quei bug minori non meglio specificati, io l’aggiornamento lo farei. Fonte Condividi questo messaggio Link di questo messaggio Condividi su altri siti