[gnome-mines] Release 3.13.1

[Robert Roth <robertroth src gnome org>]

commit 7fbbe358ab467d5656dd737e9ec352bdf1242ea1
Author: Robert Roth <robert roth off gmail com>
Date:   Mon Apr 28 23:36:07 2014 +0300

    Release 3.13.1

 NEWS         |   13 +++++++++++++
 configure.ac |    2 +-
 2 files changed, 14 insertions(+), 1 deletions(-)
---
diff --git a/NEWS b/NEWS
index 57c699e..890f89f 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,16 @@
+GNOME Mines 3.13.1
+==================
+
+* Use delayed settings saving (Chris Johns)
+* New game screen improvements (Chris Johns)
+* Custom game screen improvements (Michael Catanzaro, Robert Roth)
+* Removed the preferences dialog (Michael Catanzaro)
+* Better minimum size request (Michael Catanzaro)
+* Reimplemented the minefield to be CSS stylable (Robert Roth)
+* Moved user interface creating code to Glade UI files (Robert Roth)
+* Added good-looking CSS style (Allan Day)
+* Updated translations and help
+
 GNOME Mines 3.12.0
 ==================
 
diff --git a/configure.ac b/configure.ac
index f3a2d95..95c16d6 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ([2.63])
-AC_INIT([GNOME Mines], [3.12.0], [https://bugzilla.gnome.org/],
+AC_INIT([GNOME Mines], [3.13.1], [https://bugzilla.gnome.org/],
         [gnome-mines], [https://wiki.gnome.org/Apps/Mines])
 AM_INIT_AUTOMAKE([1.11 no-dist-gzip dist-xz foreign])
 AM_SILENT_RULES([yes])