From 18a5efd2a64b741b3e4644c62ceddecad034b256 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Tue, 25 Jul 2023 14:28:26 +0700
Subject: [PATCH] Publish 0.12.1 to fix aarch64 Linux musl build.

---
 z3/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/z3/Cargo.toml b/z3/Cargo.toml
index 5f2ef0b8..483ed66f 100644
--- a/z3/Cargo.toml
+++ b/z3/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "z3"
-version = "0.12.0"
+version = "0.12.1"
 authors = ["Graydon Hoare <graydon@pobox.com>", "Bruce Mitchener <bruce.mitchener@gmail.com>", "Nick Fitzgerald <fitzgen@gmail.com>"]
 
 description = "High-level rust bindings for the Z3 SMT solver from Microsoft Research"