From dcea4a4b0491139d930aea9151c57bd0c153a7f9 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Mon, 15 Apr 2024 14:07:04 +0000
Subject: [PATCH] Set default version to v51 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 41a13bb7..4d9ed41d 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=latest/" />
+    <meta http-equiv="refresh" content="1; url=v51/" />
   </noscript>
   <script>
     window.location.replace(
-      "latest/" + window.location.search + window.location.hash
+      "v51/" + window.location.search + window.location.hash
     );
   </script>
 </head>
 <body>
-  Redirecting to <a href="latest/">latest/</a>...
+  Redirecting to <a href="v51/">v51/</a>...
 </body>
 </html>
-- 
GitLab