Heute kam ja ein Update auf 12.17, aber hat da schon jemand einen Changelog gefunden? Hab keine Ahnung, was mir das jetzt gebracht hat, und auch auf der offiziellen Opera-Seite (sogar wenn man nach der Aktualisierung auf "neue Features anzeigen" klickt) kommt man nur zum Changelog auf 12.16.
Edith fügt an: aha, jetzt bin ich schlauer. Das war nur ein "Heartbleed"-Fix, nachzulesen
hier.