La beta n’aura pas été bien longue, et Opera Mini passe ainsi dans une version 4.2 finale, s’offrant même le luxe de débarquer sur l’Android Market. Pour les nouveautés de cette version, je vous renvoi au billet dédié à la beta, tout en ajoutant que d’après Opera, son navigateur serait désormais 30% plus rapide. Et pour la version dédiée aux téléphones Java, c’est ici que ça se passe.

opera mini Opera Mini 4.2 disponible

via operamini