kalev pushed to gnome-desktop3 (master). "Update to 3.17.2"