From ec02a81f4790a847d20f6a684af26d31914becaf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Fri, 29 Nov 2019 16:23:51 +0100
Subject: [PATCH] Bump version to 3.1.2-stable

Tons of bugfixes have been cherry-picked since 3.1.1 in April,
this should make the 3.1 branch a lot more reliable to ship games.

Thanks to all contributors! <3
---
 version.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.py b/version.py
index aed645f0e06..21d692a680b 100644
--- a/version.py
+++ b/version.py
@@ -3,7 +3,7 @@ name = "Godot Engine"
 major = 3
 minor = 1
 patch = 2
-status = "rc"
+status = "stable"
 module_config = ""
 year = 2019
 website = "https://godotengine.org"