From f0fbc35afe3b97408a3f84269171c45e3c076c05 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Tue, 27 Jun 2023 15:50:19 +0100
Subject: [PATCH] Set title of latest to 1.3 with mike 1.1.2

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

diff --git a/versions.json b/versions.json
index fc94a0b..280f593 100644
--- a/versions.json
+++ b/versions.json
@@ -1 +1 @@
-[{"version": "1.3", "title": "1.3", "aliases": []}, {"version": "latest", "title": "latest", "aliases": []}]
\ No newline at end of file
+[{"version": "1.3", "title": "1.3", "aliases": []}, {"version": "latest", "title": "1.3", "aliases": []}]
\ No newline at end of file
-- 
GitLab