[gnome-shell-extensions] Bump version to 3.13.2

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

commit de4782ebf51f443679b3b17a6a9e1aa28d5ffe42
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed May 28 01:19:25 2014 +0200

    Bump version to 3.13.2
    
    To go along with GNOME Shell 3.13.2.

 NEWS         |    6 ++++++
 configure.ac |    2 +-
 2 files changed, 7 insertions(+), 1 deletions(-)
---
diff --git a/NEWS b/NEWS
index 9d80c7b..0fb5c4b 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,9 @@
+3.13.2
+======
+* Fix sorting of grouped buttons in window list
+* Tweak preference UIs
+* updated translations (en_GB)
+
 3.13.1
 ======
 * add DesktopNames key to the classic session file
diff --git a/configure.ac b/configure.ac
index 2f84384..31ba39c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ(2.63)
-AC_INIT([gnome-shell-extensions],[3.13.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
+AC_INIT([gnome-shell-extensions],[3.13.2],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
 
 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_AUX_DIR([config])