From 60f39a452f3d118b2ebc6713f038029104d82c11 Mon Sep 17 00:00:00 2001
From: GitHub Action <github-action@users.noreply.github.com>
Date: Thu, 14 Apr 2022 08:11:24 +0000
Subject: [PATCH] Set title of main to development with mike 1.1.2

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

diff --git a/versions.json b/versions.json
index 5cf2a7e..ad7d191 100644
--- a/versions.json
+++ b/versions.json
@@ -1 +1 @@
-[{"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
+[{"version": "REL1_0_STABLE", "title": "1.0.x (stable)", "aliases": []}, {"version": "master", "title": "latest", "aliases": []}, {"version": "main", "title": "development", "aliases": []}]
\ No newline at end of file