version bump

Mr-Rm · Mar 28, 2024 · 1ddd39a · 1ddd39a
1 parent 3cd2191
commit 1ddd39a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
     agent none
 
     environment {
-        ReleaseNumber = '1.9.0'
+        ReleaseNumber = '1.9.1'
         outputEnc = '65001'
     }