From 0b453a4af51434ee31b2114c5c2ec08464f3bfd1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Apr 2022 08:57:32 +0100
Subject: [PATCH] set release version

---
 scripts/nightly.yaml | 2 +-
 scripts/release.yml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index fc70b0e85..73a3aaec7 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -2,7 +2,7 @@ variables:
 
   Major: '4'
   Minor: '8'
-  Patch: '16'
+  Patch: '17'
   NightlyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)-$(Build.DefinitionName)
 
 stages:
diff --git a/scripts/release.yml b/scripts/release.yml
index 49624f270..f878265d6 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -6,7 +6,7 @@
 trigger: none
 
 variables:
-  ReleaseVersion: '4.8.16'
+  ReleaseVersion: '4.8.17'
 
 stages: