From 79b44cb7ef547a66166c69940b46f0bfb64a0040 Mon Sep 17 00:00:00 2001
From: Riccardo <riccardo.biasini@gmail.com>
Date: Tue, 23 Jul 2019 17:27:54 -0700
Subject: [PATCH] bump version

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

diff --git a/VERSION b/VERSION
index 9bdb566fc84dcf..87ff52e2b59567 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-v1.4.1
\ No newline at end of file
+v1.4.2
\ No newline at end of file