From 06cacc3fa7c4bf1ae319547d605f87b9fbc471ea Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Fri, 22 Jul 2022 17:05:51 +0200
Subject: [PATCH] changed version to v4.3.1

---
 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 7486c52..f907f1e 100644
--- a/include/flags.h
+++ b/include/flags.h
@@ -8,7 +8,7 @@
 #define DOWNLOAD_FAILED 2 //EXIT VALUE FOR versions.json DOWNLOAD FAILED
 #define UPDATE_FAILED 3 //EXIT VALUE FOR UPDATE FAILED
 
-#define VERSION "v4.3" //VERSION OF CURRENT BUILD     > DO NOT TOUCH THIS <
+#define VERSION "v4.3.1" //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 d107661..10bcdf5 100644
--- a/versions.json
+++ b/versions.json
@@ -1,5 +1,5 @@
 {
-    "active": "v4.3",
+    "active": "v4.3.1",
 
     "deprecated":
     [
@@ -20,6 +20,7 @@
         "v4.0.1",
         "v4.1",
         "v4.2",
-        "v4.2.1"
+        "v4.2.1",
+        "v4.3"
     ]
 }