Added gnome 3.10 to the release notes