From eba0e72e3392dd02bd23830de6ac54fbb26b63c9 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Sat, 11 Jun 2022 19:26:28 +0200
Subject: [PATCH] changed version to v4.2

---
 include/flags.h | 2 +-
 versions.json   | 5 +++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/include/flags.h b/include/flags.h
index 679890b..dbd36ef 100644
--- a/include/flags.h
+++ b/include/flags.h
@@ -9,7 +9,7 @@
 #define DOWNLOAD_FAILED 2 //EXIT VALUE FOR versions.json DOWNLOAD FAILED
 #define UPDATE_FAILED 3 //EXIT VALUE FOR versions.json DOWNLOAD FAILED
 
-#define VERSION "v4.1" //VERSION OF CURRENT BUILD     > DO NOT TOUCH THIS <
+#define VERSION "v4.2" //VERSION OF CURRENT BUILD     > DO NOT TOUCH THIS <
 #define VERSIONS_URL "https://raw.githubusercontent.com/ENGO150/WHY2/release/versions.json" //URL FOR GETTING versions.json
 #define VERSIONS_NAME "/tmp/why2-versions.json" //do I have to explain this?
 
diff --git a/versions.json b/versions.json
index aa43920..ac3feab 100644
--- a/versions.json
+++ b/versions.json
@@ -1,5 +1,5 @@
 {
-    "active": "v4.1",
+    "active": "v4.2",
 
     "deprecated":
     [
@@ -17,6 +17,7 @@
         "v3.3.3",
         "v3.3.4",
         "v4.0",
-        "v4.0.1"
+        "v4.0.1",
+        "v4.1"
     ]
 }