Summary of changes: a7cca11... Gtk3 flash plugin fix (rhbz#1171457), Gtk3 theme fixes (*) 1153187... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent