inc release number

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jul 29, 2022 · 69b1337 · 69b1337
1 parent 2a8e73f
commit 69b1337
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -6,7 +6,7 @@
 trigger: none
 
 variables:
-  ReleaseVersion: '4.10.1'
+  ReleaseVersion: '4.10.2'
 
 stages: