[gnome-shell-extensions] Bump version to 3.15.3.1

[Florian Müllner <fmuellner src gnome org>]

commit ccbcc2198c29e6adfee98d48255fc353340967b3
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Dec 19 16:15:54 2014 +0100

    Bump version to 3.15.3.1
    
    Gah, missed a gnome-shell change that broke several extensions ...

 NEWS         |    4 ++++
 configure.ac |    2 +-
 2 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/NEWS b/NEWS
index 9199547..933248a 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,7 @@
+3.15.3.1
+========
+* adjust to gnome-shell change
+
 3.15.3
 ======
 * classic-mode: Add high-contrast theme variant, drop .desktop file
diff --git a/configure.ac b/configure.ac
index fbe3615..a1c37aa 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ(2.63)
-AC_INIT([gnome-shell-extensions],[3.15.3],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
+AC_INIT([gnome-shell-extensions],[3.15.3.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
 
 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_AUX_DIR([config])