From e4e4ee9c9fff0a982a15afccc080a153a33803f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jack=C2=B7Boos=C2=B7Yu?=
 <47264268+JackBoosY@users.noreply.github.com>
Date: Wed, 2 Jun 2021 03:14:39 +0800
Subject: [z3] Update to 4.8.10 to support arm triplet (#18104)

* [z3] Update to 4.8.10 to support arm triplet

* update version record
---
 versions/baseline.json | 2 +-
 versions/z-/z3.json    | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)

(limited to 'versions')

diff --git a/versions/baseline.json b/versions/baseline.json
index 841a0fa5f..1e2d2de49 100644
--- a/versions/baseline.json
+++ b/versions/baseline.json
@@ -6765,7 +6765,7 @@
       "port-version": 0
     },
     "z3": {
-      "baseline": "4.8.9",
+      "baseline": "4.8.10",
       "port-version": 0
     },
     "z85": {
diff --git a/versions/z-/z3.json b/versions/z-/z3.json
index 5c4f5cf21..8214ff2f6 100644
--- a/versions/z-/z3.json
+++ b/versions/z-/z3.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "9c0fdcbcb443a4d0e2b58a1b3b56424e8c2d384c",
+      "version-semver": "4.8.10",
+      "port-version": 0
+    },
     {
       "git-tree": "7081291c8d70cea0a783c78fa8f27219cad7b77c",
       "version-string": "4.8.9",
-- 
cgit v1.2.3