Log Message:
Update opera to 12.12.

Release notes
Release date: 2012-12-18
Opera 12.12 is a recommended upgrade offering security and stability enhancements.

Fixes and Stability Enhancements since Opera 12.11
General and User Interface
 * Several general fixes and stability improvements
 * New option `Delete settings and data for all extensions' option (off by
   default) in the Delete Private Data dialog
 * Corrected an issue where using the 'Delete Private Data' dialog could delete
   extension and settings data
 * Redesigned the 'Delete Private Data' dialog to be more usable with small
   screens
 * Fixed an issue where quitting Opera while in fullscreen mode could cripple
   the interface on the next start-up
Security
 * Fixed an issue where malformed GIF images could allow execution of arbitrary  \ 
  code; see our advisory
   http://www.opera.com/support/kb/view/1038/
 * Fixed an issue where repeated attempts to access a target site could trigger
   address field spoofing, as reported by Masato Kinugawa; see our advisory
   http://www.opera.com/support/kb/view/1040/
   UNIX-only
    * Fixed an issue where private data could be disclosed to other computer
      users, or be modified by them, as reported by Jann Horn; see our advisory
      http://www.opera.com/support/kb/view/1039/