From 1ff8f67eac9b7c7ec710eb039bd3446f99300d58 Mon Sep 17 00:00:00 2001
From: GitHub Action <github-action@users.noreply.github.com>
Date: Thu, 14 Apr 2022 08:10:49 +0000
Subject: [PATCH] Set title of REL1_0_STABLE to 1.0.x (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 becbe36..5cf2a7e 100644
--- a/versions.json
+++ b/versions.json
@@ -1 +1 @@
-[{"version": "REL1_0_STABLE", "title": "REL1_0_STABLE", "aliases": []}, {"version": "master", "title": "latest", "aliases": []}, {"version": "main", "title": "latest", "aliases": []}]
\ No newline at end of file
+[{"version": "REL1_0_STABLE", "title": "1.0.x (stable)", "aliases": []}, {"version": "master", "title": "latest", "aliases": []}, {"version": "main", "title": "latest", "aliases": []}]
\ No newline at end of file