Die Entwickler von
Opera haben die neue Version 7 ihres Web-Browsers Opera Mini für Android veröffentlicht. Wie die norwegischen Browser-Schmiede mitteilt, hat man aktuell bereits 160 Millionen monatliche Nutzer und diese Zahl soll durch den neuen Release noch gesteigert werden. Opera Mini 7 steht ab sofort im Android Market beziehungsweise Google Play Store zum Download zur Verfügung und ermöglicht laut Hersteller dank einer verbesserten Hardware-Beschleunigung ein noch schnelleres Surfen auf Android-Geräten. Ausserdem gibt es neu unendlich viele sogenannte Speed Dial Buttons für den Home Screen.
(mv)