Preparation for JDK17

[sdc.git] / version.properties

diff --git a/version.properties b/version.properties
index f2eeda1..03ebf87 100644 (file)
--- a/version.properties
+++ b/version.properties
@@ -5,7 +5,7 @@
 
 major=1
 minor=12
-patch=1
+patch=4
 
 base_version=${major}.${minor}.${patch}