v.Final: Opera Mini 4.2 for Android leaves beta, available now

Attention droids and droidettes: Opera has released a final version (as in non-beta, not the last version ever) of Opera Mini 4.2 for Android.  It’s available now in the Android Market and includes the following changes from the last beta:

  • Now you can upload and download files through Opera Mini and save pages for offline viewing
  • Videos will be redirected to the system’s video player
  • Double tap now works for zooming in and out
  • Inline URL entry instead of using native input
  • Fixed password text entry to hide characters
  • Fixed problems with exiting application when back button was pressed
  • Improved trackball speed
  • All internal pages, like the start page, now have font size extra large for easier navigation

Beta is so 2008, anyways…