From 5919bc05311a4aaa6ed9f35ba32a35ce11cb8044 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 22 Sep 2019 09:18:18 -0700
Subject: [PATCH] update for next version

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index d9101ce18..71cb19c0d 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -125,10 +125,10 @@ jobs:
       action: 'create'
       target: '$(Build.SourceVersion)'
       tagSource: 'manual'
-      tag: 'z3-4.8.6'
-      title: 'z3-4.8.6'
+      tag: 'z3-4.8.7'
+      title: 'z3-4.8.7'
       releaseNotesSource: 'input'
-      releaseNotes: '4.8.6 release'
+      releaseNotes: '4.8.7 release'
       assets: 'tmp/*'
       isDraft: true
       isPreRelease: true