Update release.yml for Azure Pipelines

Z3Prover · Jul 13, 2021 · 3a402ca · 3a402ca
1 parent 75a5de9
commit 3a402ca
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.11'
+  ReleaseVersion: '4.8.12'
 
 stages: