Added gnome 3.10 to the release notes

(cherry picked from commit ea1a9445bbb18a01e2f7e801a5133452c7faec57)
debian: Update to 7.5

(cherry picked from commit 1ab9f0a1c1f66a6d92b1a244192bae96c7afc0f0)