[gnome-shell-extensions/f20] Update to 3.10.1

[Mohamed ElMorabity]

commit d251a85899f7a381bed3a3804d2dc703ef775ef0
Author: Mohamed El Morabity <melmorabity at fedoraproject.org>
Date:   Wed Oct 16 10:31:44 2013 +0200

    Update to 3.10.1

 .gitignore                  |    1 +
 gnome-shell-extensions.spec |    7 +++++--
 sources                     |    2 +-
 3 files changed, 7 insertions(+), 3 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 4525543..7aeae99 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,3 +30,4 @@
 /gnome-shell-extensions-3.9.91.tar.xz
 /gnome-shell-extensions-3.9.92.tar.xz
 /gnome-shell-extensions-3.10.0.tar.xz
+/gnome-shell-extensions-3.10.1.tar.xz
diff --git a/gnome-shell-extensions.spec b/gnome-shell-extensions.spec
index 3a012fd..40bd278 100644
--- a/gnome-shell-extensions.spec
+++ b/gnome-shell-extensions.spec
@@ -5,7 +5,7 @@
 %global pkg_prefix gnome-shell-extension
 
 Name:           gnome-shell-extensions
-Version:        3.10.0
+Version:        3.10.1
 Release:        1%{?dist}
 Summary:        Modify and extend GNOME Shell functionality and behavior
 
@@ -46,7 +46,7 @@ Summary:        Files common to GNOME Shell Extensions
 Group:          User Interface/Desktops
 License:        GPLv2+
 Requires:       gnome-shell >= %{min_gs_version}
-# Dock extension no longer provides by GNOME Shell extensions >= 3.7.1
+# Dock extension no longer provided by GNOME Shell extensions >= 3.7.1
 Obsoletes:      %{pkg_prefix}-dock < 3.7.1
 # Alternative-status-menu extension no longer provided by GNOME Shell extensions >= 3.9.5
 Obsoletes:      %{pkg_prefix}-alternative-status-menu < 3.9.5
@@ -357,6 +357,9 @@ fi
 
 
 %changelog
+* Wed Oct 16 2013 Mohamed El Morabity <pikachu.2014 at gmail.com> - 3.10.1-1
+- Update to 3.10.1
+
 * Tue Sep 24 2013 Mohamed El Morabity <melmorabity at fedoraproject.org> - 3.10.0-1
 - Update to 3.10.0
 
diff --git a/sources b/sources
index 8277c80..5fa06bc 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-b1cc2c876952d766035bb1e5c969f75b  gnome-shell-extensions-3.10.0.tar.xz
+cbf1c0eab389557ef2ab1f0454e4cef4  gnome-shell-extensions-3.10.1.tar.xz