[gnome-desktop] release: post-release bump to 3.1.2

[Vincent Untz <vuntz src gnome org>]

commit 34335b774d839e478e73db43dc8ea5c88f6eb227
Author: Vincent Untz <vuntz gnome org>
Date:   Mon May 9 13:13:19 2011 +0200

    release: post-release bump to 3.1.2

 configure.ac |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 04e8fa1..3fe9c6f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
 m4_define(gnome_platform, 3)
 m4_define(gnome_minor, 1)
-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