Обновления Opera Mobile и Opera Mini

Вышли обновления Opera Mobile 12.0.3 ^[1] и Opera Mini 7.0.3 ^[2] для платформы Android, а также Opera Mini 7.0.2 ^[3] для iOS с поддержкой HD-экрана нового iPad.

Список изменений для Android:

Opera Mini 7.0.3
Исправлена проблема подключения к сети при наличии системных настроек прокси

Opera Mobile 12.0.3
Исправлены основные ошибки, приводившие к вылетам программы, улучшена стабильность

Список изменений для iOS:

Opera Mini 7.0.2

Теперь работает и на iPad3
В главное меню добавлена функция «Потребление трафика»
Исправлен редирект для ссылок в iTunes
Улучшена стабильность работы

Автор: Shpankov