From 0441c8194107fb48f056a8732d2f2c64cc0232e5 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Thu, 19 Dec 2019 13:24:33 +0000
Subject: [PATCH] Bump and prep 1.31.6

Change-Id: I07df574bbc0a6e39be152a1f818e3ef87fb32cb0
---
 RELEASE-NOTES-1.31           | 2 +-
 includes/DefaultSettings.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index 52f2b78dbc..14aab7fef3 100644
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -1,6 +1,6 @@
 == MediaWiki 1.31.6 ==
 
-THIS IS NOT A RELEASE YET
+This is a security and maintenance release of the MediaWiki 1.31 branch.
 
 === Changes since MediaWiki 1.31.5 ===
 * (T181658) Do not insert page titles into querycache.qc_value.
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 0a18a7007c..29e3366c87 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -71,7 +71,7 @@ $wgConfigRegistry = [
  * MediaWiki version number
  * @since 1.2
  */
-$wgVersion = '1.31.5';
+$wgVersion = '1.31.6';
 
 /**
  * Name of the site. It must be changed in LocalSettings.php
-- 
2.20.1