From 6e7a80b68eaee760eeca6cfcc4725c6e08d07084 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 10 Sep 2020 10:59:06 -0700 Subject: [PATCH] change version number Signed-off-by: Nikolaj Bjorner --- scripts/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/release.yml b/scripts/release.yml index 10c977f5924..fb5b302a46c 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -6,7 +6,7 @@ trigger: none variables: - ReleaseVersion: '4.8.8' + ReleaseVersion: '4.8.9' stages: