[gnome-shell-extensions] Bump version to 3.31.2

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

commit 1b881e1eaae140f870e7d1003d7ec8e2a4138bf1
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Nov 13 00:46:57 2018 +0100

    Bump version to 3.31.2
    
    Update NEWS.

 NEWS        | 8 ++++++++
 meson.build | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)
---
diff --git a/NEWS b/NEWS
index 33ac37e..3042f83 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,11 @@
+3.31.2
+======
+* Remove obsolete alternate-tab extension [Florian; #786496]
+* Adjust to gnome-shell changes [Florian; #113]
+
+Contributors:
+  Florian Müllner
+
 3.30.1
 ======
 * apps-menu: Fix height on HiDPI systems [Florian; #102]
diff --git a/meson.build b/meson.build
index 4991ba7..9ef8cfd 100644
--- a/meson.build
+++ b/meson.build
@@ -1,5 +1,5 @@
 project('gnome-shell-extensions',
-  version: '3.30.1',
+  version: '3.31.2',
   meson_version: '>= 0.44.0',
   license: 'GPL2+'
 )