[gnome-terminal] Post release version bump

[Christian Persch <chpe src gnome org>]

commit 443a40bc68ecb0d3532eb3bbf3a77be190134584
Author: Christian Persch <chpe src gnome org>
Date:   Mon Nov 12 22:15:24 2018 +0100

    Post release version bump

 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/configure.ac b/configure.ac
index 265e8a2a..ab242d29 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
 m4_define([gt_version_major],[3])
 m4_define([gt_version_minor],[31])
-m4_define([gt_version_micro],[0])
+m4_define([gt_version_micro],[1])
 m4_define([gt_version_extra],[])
 m4_define([gt_version],[gt_version_major().gt_version_minor().gt_version_micro()gt_version_extra])