[gnome-shell-extensions] Bump version to 3.7.5.1

[Giovanni Campagna <gcampagna src gnome org>]

commit 7783e998427e4b2bfebfeb64b04a5da0cb32a792
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Feb 6 12:11:42 2013 +0100

    Bump version to 3.7.5.1
    
    Includes an important build fix

 NEWS         |    8 ++++++++
 configure.ac |    2 +-
 2 files changed, 9 insertions(+), 1 deletions(-)
---
diff --git a/NEWS b/NEWS
index 9a90792..6fb2d7e 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,11 @@
+3.7.5.1
+=======
+* new extension forgotten in previous NEWS entry:
+  windows-list
+* also forgotten previously: classic mode got a new
+  GNOME2 style
+* build fixes
+
 3.7.5
 =====
 * places-menu is back in the classic extensions, with
diff --git a/configure.ac b/configure.ac
index 2c60891..a81216a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ(2.63)
-AC_INIT([gnome-shell-extensions],[3.7.5],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
+AC_INIT([gnome-shell-extensions],[3.7.5.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
 
 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_AUX_DIR([config])