Das Desktop Team hat die gefixte Version 12.02 des Opera Browser veröffentlicht. Neuerungen gibt es keine, es wurden lediglich einige Sicherheitslücken geschlossen.
P.S.: Bei der Gelegenheit solltet ihr am besten auch gleich Eure Java-Version aktualisieren, da hier eine neue Sicherheitslücke aufgetaucht ist. Ob ihr eine alte Version installiert habt, könnt ihr auf der Java-Webseite überprüfen.