From 1d4333ad894ebd5fd20ed5b3820fe25c8d29af16 Mon Sep 17 00:00:00 2001
From: Dirk Eddelbuettel <edd@debian.org>
Date: Wed, 2 Nov 2022 16:28:19 -0500
Subject: [PATCH] Use TileDB 2.12.1

---
 tools/tiledbVersion.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/tiledbVersion.txt b/tools/tiledbVersion.txt
index b59f56acfa..e646eeca38 100644
--- a/tools/tiledbVersion.txt
+++ b/tools/tiledbVersion.txt
@@ -1,2 +1,2 @@
-version: 2.12.0
-sha: ac8a0df
+version: 2.12.1
+sha: 7a66085