Bereits am 20.11 ist Opera 12.11 erschienen !
Diese Version war kurz nach Version 12.10 von 07.11 als Bugfix und Security-Release nach gereicht worden !
Version 12.10 hatte wohl einige Bugs zu viel !?
Download Version 12.11 -> http://www.opera.com/browser/download/