Opera Mini 4.2 est désormais disponible. La dernière version du navigateur mobile est annoncée comme étant 30% plus rapide...