From 6f09ecb2297b4ef15cde4820356f2c27a47a6a1d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 21 Jan 2021 14:24:58 -0800
Subject: [PATCH] set version

---
 scripts/release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index 55157bc8f..0e3ead60e 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -6,7 +6,7 @@
 trigger: none
 
 variables:
-  ReleaseVersion: '4.8.10'
+  ReleaseVersion: '4.8.11'
 
 stages: