[gnome-shell-extensions] 3.13.1

[Matthias Clasen <matthiasc src gnome org>]

commit fca578d184b53b396d76c78a242d3b9e06897cf2
Author: Matthias Clasen <mclasen redhat com>
Date:   Thu May 1 11:18:56 2014 -0400

    3.13.1

 NEWS         |    9 +++++++++
 configure.ac |    2 +-
 2 files changed, 10 insertions(+), 1 deletions(-)
---
diff --git a/NEWS b/NEWS
index d1178c6..9d80c7b 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,12 @@
+3.13.1
+======
+* add DesktopNames key to the classic session file
+* classic theme: remove rounded corners from tile previews
+* window-list: don't shift message tray on other monitors
+* auto-move-windows: several fixes and updates for api changes
+* launch-new-instances: updates for api changes
+* updated translations (ja, km)
+
 3.12.0
 ======
 * updated translations (zh_HK, zh_TW)
diff --git a/configure.ac b/configure.ac
index 533c68e..2f84384 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ(2.63)
-AC_INIT([gnome-shell-extensions],[3.12.0],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
+AC_INIT([gnome-shell-extensions],[3.13.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
 
 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_AUX_DIR([config])