Bump version to 3.31.2

Update NEWS.
2018-11-13 00:46:57 +01:00
parent 40a8ab60f4
commit 1b881e1eaa
2 changed files with 9 additions and 1 deletions
@@ -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]
@@ -1,5 +1,5 @@
 project('gnome-shell-extensions',
-  version: '3.30.1',
+  version: '3.31.2',
  meson_version: '>= 0.44.0',
  license: 'GPL2+'
 )