GNOME 3.10.2 Has Been Officially Released