From 31264358d31dc14538f1e884d5da595ea92e9640 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Tue, 16 Apr 2024 14:08:39 +0000
Subject: [PATCH] Copied v41.0 to latestR42, latest in public with mike 2.0.0
---
public/latest | 2 +-
public/latestR42 | 2 +-
public/versions.json | 11 +++++------
3 files changed, 7 insertions(+), 8 deletions(-)
diff --git a/public/latest b/public/latest
index 4379a41a..89105479 120000
--- a/public/latest
+++ b/public/latest
@@ -1 +1 @@
-v42.0
\ No newline at end of file
+v41.0
\ No newline at end of file
diff --git a/public/latestR42 b/public/latestR42
index 4379a41a..89105479 120000
--- a/public/latestR42
+++ b/public/latestR42
@@ -1 +1 @@
-v42.0
\ No newline at end of file
+v41.0
\ No newline at end of file
diff --git a/public/versions.json b/public/versions.json
index 8ab41f4e..3bfb6037 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -2,15 +2,14 @@
{
"version": "v42.0",
"title": "v42.0",
- "aliases": [
- "latestR42",
- "latest"
- ]
+ "aliases": []
},
{
"version": "v41.0",
"title": "v41.0",
"aliases": [
+ "latest",
+ "latestR42",
"latestR41"
]
},
@@ -18,8 +17,8 @@
"version": "v31.0",
"title": "v31.0",
"aliases": [
- "latestR3",
- "latestR31"
+ "latestR31",
+ "latestR3"
]
}
]
--
GitLab