[gnome-shell-extensions/gnome-3-8] Bump version to 3.8.3.1

[Giovanni Campagna <gcampagna src gnome org>]

commit dc6b92089cd526d41b15d351ac8b7c9506759a13
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon Jun 17 21:44:42 2013 +0200

    Bump version to 3.8.3.1
    
    The actual release commit...

 NEWS         |    6 ++++++
 configure.ac |    2 +-
 2 files changed, 7 insertions(+), 1 deletions(-)
---
diff --git a/NEWS b/NEWS
index cbc7a13..e32d304 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,9 @@
+3.8.3.1
+=======
+* fix a crash in places-menu with MTP devices
+* drop deprecated IsRunnableHelper
+* translation updates
+
 3.8.3
 =====
 * important: default-min-max and static-workspaces
diff --git a/configure.ac b/configure.ac
index 9d97c4c..bac23b8 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ(2.63)
-AC_INIT([gnome-shell-extensions],[3.8.3],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
+AC_INIT([gnome-shell-extensions],[3.8.3.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
 
 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_AUX_DIR([config])