GNOME 3.12 has been released, bringing major new features, several redesigned programs and three new applications: Logs, Sound Recorder and Polari. app-folders (Image credit) GNOME 3.12 comes with a revamped Videos application (formerly Totem), which now includes online videos browser and integration with the Pocket service, which allows you to watch saved videos at a later date