E’ stato rilasciato un aggiornamento in queste ore, per quanto concerne Opera Mobile Browser e Opera Mini, grazie al quale è stato possibile assicurare agli utenti una serie di migliorie molto interessanti, che dovrebbero migliorare l’esperienza di utilizzo del prodotto software.
Ecco la lista delle migliorie assicurate dagli sviluppatori agli utenti:
-
risolto problema che non faceva apparire le miniature nel tab manager;
-
le password ora sono sempre salvate correttamente;
-
il vivavoce non resta più sempre acceso;
-
non ci sono più problemi di crash quando si riproducono filmati da siti specifici;
-
non ci sono più problemi durante il ripristino delle sessioni.
-
applicate varie patch per la sicurezza di Chromium.
L’aggiornamento, come sempre, può avvenire in modo diretto dallo store di Google.