From 44c87439edcad81bcc910f41e40240e0a111778e Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Tue, 16 Apr 2024 11:30:56 +0000
Subject: [PATCH] Copied v31.0 to latestR31 in public with mike 2.0.0

---
 public/latestR31     | 1 +
 public/versions.json | 5 +++--
 2 files changed, 4 insertions(+), 2 deletions(-)
 create mode 120000 public/latestR31

diff --git a/public/latestR31 b/public/latestR31
new file mode 120000
index 00000000..2c9ae1d3
--- /dev/null
+++ b/public/latestR31
@@ -0,0 +1 @@
+v31.0
\ No newline at end of file
diff --git a/public/versions.json b/public/versions.json
index e3081cf9..2004ac13 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -3,8 +3,8 @@
     "version": "v42.0",
     "title": "v42.0",
     "aliases": [
-      "latest",
-      "latestR42"
+      "latestR42",
+      "latest"
     ]
   },
   {
@@ -18,6 +18,7 @@
     "version": "v31.0",
     "title": "v31.0",
     "aliases": [
+      "latestR31",
       "latestR3"
     ]
   }
-- 
GitLab