[gnome-desktop] 3.13.2

[Javier Jardón <jjardon src gnome org>]

commit 7eb66fe1401ffac2264795dba1470958b5b443e3
Author: Javier Jardón <javier jardon codethink co uk>
Date:   Wed May 28 12:58:57 2014 +0100

    3.13.2

 NEWS         |    8 ++++++++
 configure.ac |    2 +-
 2 files changed, 9 insertions(+), 1 deletions(-)
---
diff --git a/NEWS b/NEWS
index 20be88f..11fb1fb 100644
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,12 @@
 ===============
+Version  3.13.2
+===============
+
+- gnome-rr: Output the EDID vendor/product info as well
+- gnome-rr: Add backlight output in debug
+- thumbnailer: Try harder to create a failed thumbnail (#728775)
+
+===============
 Version  3.13.1
 ===============
 
diff --git a/configure.ac b/configure.ac
index 3889354..b2c05a3 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
 m4_define(gnome_platform, 3)
 m4_define(gnome_minor, 13)
-m4_define(gnome_micro, 1)
+m4_define(gnome_micro, 2)
 dnl gnome_sub is an optional sub-version which will not be advertised to the user
 dnl It allows to release a 2.30.1.1 which is just a better 2.30.1
 dnl Leave empty if not needed