[gnome-menus] Release 3.31.3

[Jeremy Bicha <jbicha src gnome org>]

commit 3df6d860fa882ef48e39d1c3f7a905c0cd1badfc
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Mon Dec 10 14:30:48 2018 -0500

    Release 3.31.3

 NEWS         | 14 ++++++++++++++
 configure.ac |  2 +-
 2 files changed, 15 insertions(+), 1 deletion(-)
---
diff --git a/NEWS b/NEWS
index 2c04a08..72fa525 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,17 @@
+==============
+Version 3.31.3
+==============
+
+* desktop-entries: support multiple desktops in XDG_CURRENT_DESKTOP (Alberts)
+* libmenu: Remove support for legacy-dirs (Florian)
+* layout: Update .desktop filenames (Jeremy)
+* layout: Drop obsolete Fedora special case .desktop filenames (Jeremy)
+* miscellaneous fixes (Andre, Josselin)
+
+Contributors:
+ Jeremy Bicha, Andre Klapper, Josselin Mouette, Alberts Muktupāvels
+ Florian Müllner
+
 ==============
 Version 3.13.3
 ==============
diff --git a/configure.ac b/configure.ac
index cd67084..b5dfc26 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
 AC_PREREQ(2.62)
 
-AC_INIT([gnome-menus], [3.13.3],
+AC_INIT([gnome-menus], [3.31.3],
         [http://bugzilla.gnome.org/enter_bug.cgi?product=gnome-menus])
 AC_CONFIG_SRCDIR(libmenu/gmenu-tree.h)