From ae9dff342722ca949c1e34431a169114e7c39ccb Mon Sep 17 00:00:00 2001
From: mintty <mintty@users.noreply.github.com>
Date: Thu, 2 Apr 2020 15:00:32 +0200
Subject: [PATCH] 3.1.4.2

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index 0aec50e..861d465 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.1.4
+3.1.4.2