we'd like to inform you that a new version of Opera Mini for Android is out. The new version is fully released on Google Play.
For this release, we've focused on stability and performance fixes, so you should experience fewer crashes. We've also upgraded our toolchain, build system and many of the support libraries we're using, which will make it much easier and faster to fix bugs and introduce new features.
Give it a go and, as always, let us know what you think!