[UPDATE] gnome-desktop: Update to 3.12.2