Opera Mini 3.1 erschienen

Am der Vorgängerversion 3.0 wurden nur ein paar Verbesserungen vorgenommen. RSS-Feeds lassen sich nun unbenennen oder löschen.