change version number

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Sep 10, 2020 · 6e7a80b · 6e7a80b
1 parent c481570
commit 6e7a80b
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.8.8'
+  ReleaseVersion: '4.8.9'
 
 stages: