From 4c5c24b569ef56da95670f5272505260c4f0164b Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Tue, 16 Apr 2024 09:23:20 +0000
Subject: [PATCH] Copied v5.1 to latestR5 in public with mike 2.0.0

---
 public/latestR5      | 1 +
 public/versions.json | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)
 create mode 120000 public/latestR5

diff --git a/public/latestR5 b/public/latestR5
new file mode 120000
index 00000000..d012306e
--- /dev/null
+++ b/public/latestR5
@@ -0,0 +1 @@
+v5.1
\ No newline at end of file
diff --git a/public/versions.json b/public/versions.json
index 96e77118..56d30714 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -32,7 +32,8 @@
     "version": "v5.1",
     "title": "v5.1",
     "aliases": [
-      "latest"
+      "latest",
+      "latestR5"
     ]
   }
 ]
-- 
GitLab