From 23d018f691438227e7ec2feffc6dc05a7391e1e4 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Tue, 16 Apr 2024 11:30:36 +0000
Subject: [PATCH] Copied v42.0 to latest, latestR42 in public with mike 2.0.0

---
 public/latest        | 1 +
 public/latestR42     | 1 +
 public/versions.json | 5 ++++-
 3 files changed, 6 insertions(+), 1 deletion(-)
 create mode 120000 public/latest
 create mode 120000 public/latestR42

diff --git a/public/latest b/public/latest
new file mode 120000
index 00000000..4379a41a
--- /dev/null
+++ b/public/latest
@@ -0,0 +1 @@
+v42.0
\ No newline at end of file
diff --git a/public/latestR42 b/public/latestR42
new file mode 120000
index 00000000..4379a41a
--- /dev/null
+++ b/public/latestR42
@@ -0,0 +1 @@
+v42.0
\ No newline at end of file
diff --git a/public/versions.json b/public/versions.json
index ab4488a6..e3081cf9 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -2,7 +2,10 @@
   {
     "version": "v42.0",
     "title": "v42.0",
-    "aliases": []
+    "aliases": [
+      "latest",
+      "latestR42"
+    ]
   },
   {
     "version": "v41.0",
-- 
GitLab