From b38a1c119eabe9cf7282044f1a3657ffdb131cea Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Sun, 25 Jun 2023 22:47:57 +0000
Subject: [PATCH] Set title of 0.9.3 to 0.9.3 (stable) with mike 1.1.2

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

diff --git a/versions.json b/versions.json
index 653bcde9..e835e242 100644
--- a/versions.json
+++ b/versions.json
@@ -1 +1 @@
-[{"version": "0.9.3", "title": "0.9.3", "aliases": ["stable"]}, {"version": "0.9.2", "title": "0.9.2", "aliases": []}, {"version": "0.9.1", "title": "0.9.1", "aliases": []}, {"version": "0.9.0", "title": "0.9.0", "aliases": []}, {"version": "0.8.0", "title": "0.8.0", "aliases": []}, {"version": "0.7.1", "title": "0.7.1", "aliases": []}, {"version": "0.7.0", "title": "0.7.0", "aliases": []}, {"version": "0.6.8", "title": "0.6.8", "aliases": []}, {"version": "0.6.7", "title": "0.6.7", "aliases": []}, {"version": "0.6.6", "title": "0.6.6", "aliases": []}, {"version": "0.6.5", "title": "0.6.5", "aliases": []}, {"version": "0.6.4", "title": "0.6.4", "aliases": []}, {"version": "0.6.3", "title": "0.6.3", "aliases": []}, {"version": "0.6.2", "title": "0.6.2", "aliases": []}, {"version": "0.6.1", "title": "0.6.1", "aliases": []}, {"version": "nightly", "title": "nightly", "aliases": []}]
\ No newline at end of file
+[{"version": "0.9.3", "title": "0.9.3 (stable)", "aliases": ["stable"]}, {"version": "0.9.2", "title": "0.9.2", "aliases": []}, {"version": "0.9.1", "title": "0.9.1", "aliases": []}, {"version": "0.9.0", "title": "0.9.0", "aliases": []}, {"version": "0.8.0", "title": "0.8.0", "aliases": []}, {"version": "0.7.1", "title": "0.7.1", "aliases": []}, {"version": "0.7.0", "title": "0.7.0", "aliases": []}, {"version": "0.6.8", "title": "0.6.8", "aliases": []}, {"version": "0.6.7", "title": "0.6.7", "aliases": []}, {"version": "0.6.6", "title": "0.6.6", "aliases": []}, {"version": "0.6.5", "title": "0.6.5", "aliases": []}, {"version": "0.6.4", "title": "0.6.4", "aliases": []}, {"version": "0.6.3", "title": "0.6.3", "aliases": []}, {"version": "0.6.2", "title": "0.6.2", "aliases": []}, {"version": "0.6.1", "title": "0.6.1", "aliases": []}, {"version": "nightly", "title": "nightly", "aliases": []}]
\ No newline at end of file