GNOME 3.12 was released today and it includes some important changes such as proper HiDPI support, improved Wayland support, various …