[gedit] Release 3.31.1

[Jeremy Bicha <jbicha src gnome org>]

commit f601390bbaf26681318cdf810c7cdc4819ed609d
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Sun Oct 7 15:42:34 2018 -0400

    Release 3.31.1

 NEWS   | 17 +++++++++++++++++
 README |  6 +++---
 2 files changed, 20 insertions(+), 3 deletions(-)
---
diff --git a/NEWS b/NEWS
index b29a0bfda..e3794e3a2 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,20 @@
+=============
+gedit 3.31.1
+=============
+Development release
+
+- Redesign the app icon (Jakub)
+- Migrate to gettext and stop using intltool (Martin)
+- Switch from gtksourceview3 to gtksourceview4 (Christian)
+- Fix file chooser not opening in correct location after first time
+  (Sebastien)
+- Miscellaneous build and translation fixes (Jeremy, Mathieu, Piotr)
+- Translation updates
+
+Contributors:
+ Jeremy Bicha, Martin Blanchard, Mathieu Bridon, Piotr Drąg, Christian Hergert,
+ Sebastien Lafargue, Jakub Steiner
+
 =============
 gedit 3.30.1
 =============
diff --git a/README b/README
index 0fa87d563..f540f88d3 100644
--- a/README
+++ b/README
@@ -1,7 +1,7 @@
 General Information
 ===================
 
-This is version 3.30.1 of gedit. gedit is a small and lightweight UTF-8 text
+This is version 3.31.1 of gedit. gedit is a small and lightweight UTF-8 text
 editor for the GNOME environment.
 
 gedit is part of GNOME and uses the latest GTK+ and GNOME libraries.
@@ -76,8 +76,8 @@ gspell >= 0.2.3 is required to enable the spell checking plugin.
 
 Simple install procedure:
 
-  % tar Jxf gedit-3.30.1.tar.xz                        # unpack the sources
-  % cd gedit-3.30.1                            # change to the toplevel directory
+  % tar Jxf gedit-3.31.1.tar.xz                        # unpack the sources
+  % cd gedit-3.31.1                            # change to the toplevel directory
   % ./configure                                        # run the `configure' script
   % make                                       # build gedit
   [ Become root if necessary ]