[gnome-shell-extensions] Update to 3.15.3.1

[Florian Müllner]

commit 51e43e190d0c87f6a01a63632e01f4a7f6941acc
Author: Florian Müllner <fmuellner at gnome.org>
Date:   Fri Dec 19 16:28:06 2014 +0100

    Update to 3.15.3.1

 .gitignore                  |    1 +
 gnome-shell-extensions.spec |    5 ++++-
 sources                     |    2 +-
 3 files changed, 6 insertions(+), 2 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 2cdf39c..e5d9fae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -51,3 +51,4 @@
 /gnome-shell-extensions-3.15.1.tar.xz
 /gnome-shell-extensions-3.15.2.tar.xz
 /gnome-shell-extensions-3.15.3.tar.xz
+/gnome-shell-extensions-3.15.3.1.tar.xz
diff --git a/gnome-shell-extensions.spec b/gnome-shell-extensions.spec
index 0e73c16..bd5d067 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.15.3
+Version:        3.15.3.1
 Release:        1%{?dist}
 Summary:        Modify and extend GNOME Shell functionality and behavior
 
@@ -367,6 +367,9 @@ fi
 
 
 %changelog
+* Fri Dec 19 2014 Florian Müllner <fmuellner at redhat.com> - 3.15.3.1-1
+- Update to 3.15.3.1
+
 * Fri Dec 19 2014 Florian Müllner <fmuellner at redhat.com> - 3.15.3-1
 - Update to 3.15.3
 
diff --git a/sources b/sources
index e41c522..607af26 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-3f924e2e943e2cd9e29e25b0e7d7f115  gnome-shell-extensions-3.15.3.tar.xz
+874d858357f85140c1181e7e39364ebb  gnome-shell-extensions-3.15.3.1.tar.xz