From a4d258d53b42099f304062c58da1e39fb174c5d5 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Tue, 2 Jul 2019 00:40:46 +0100
Subject: [PATCH] Add 1.31.4 section to RELEASE-NOTES

Change-Id: I20f691740d2e79914816b0a297027933f074280b
---
 RELEASE-NOTES-1.31 | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index a2b8763fb6..ba77da38b0 100644
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -1,3 +1,9 @@
+== MediaWiki 1.31.4 ==
+
+THIS IS NOT A RELEASE YET
+
+=== Changes since MediaWiki 1.31.3 ===
+
 == MediaWiki 1.31.3 ==
 
 This is a maintenance release of the MediaWiki 1.31 branch.
-- 
2.20.1