Команда разработчиков мобильного браузера Opera Mini объявила о внесении ряда улучшений в свой продукт. В частности, благодаря изменениям, внесённым в работу сервера, была повышена производительность браузера и исправлена его некорректная работа в некоторых случаях.