From dc01b24976098bfb2bb0967dc6f4c69c10f04dfb Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Thu, 14 Aug 2025 09:43:27 +0000
Subject: [PATCH] Deployed 9c429d21 to dev with MkDocs 1.6.1 and mike 2.1.3

---
 versions.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/versions.json b/versions.json
index bd4d9c25..3b4193d9 100644
--- a/versions.json
+++ b/versions.json
@@ -1,7 +1,7 @@
 [
   {
     "version": "dev",
-    "title": "dev (c72fed8)",
+    "title": "dev (9c429d2)",
     "aliases": []
   },
   {