From 3ea04ab474fcb62a1874111b08fa8cc1675834ca Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Mon, 15 Apr 2024 14:09:32 +0000
Subject: [PATCH] Set default version to latest in public with mike 2.0.0

---
 public/index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/public/index.html b/public/index.html
index 4d9ed41d..41a13bb7 100644
--- a/public/index.html
+++ b/public/index.html
@@ -4,15 +4,15 @@
   <meta charset="utf-8">
   <title>Redirecting</title>
   <noscript>
-    <meta http-equiv="refresh" content="1; url=v51/" />
+    <meta http-equiv="refresh" content="1; url=latest/" />
   </noscript>
   <script>
     window.location.replace(
-      "v51/" + window.location.search + window.location.hash
+      "latest/" + window.location.search + window.location.hash
     );
   </script>
 </head>
 <body>
-  Redirecting to <a href="v51/">v51/</a>...
+  Redirecting to <a href="latest/">latest/</a>...
 </body>
 </html>
-- 
GitLab