From 892f642cc8fabab3a927f9fed918607836365cd0 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Tue, 16 Apr 2024 11:27:29 +0000
Subject: [PATCH] Copied v41.0 to latestR41 in public with mike 2.0.0
---
public/latestR41 | 1 +
public/versions.json | 4 +++-
2 files changed, 4 insertions(+), 1 deletion(-)
create mode 120000 public/latestR41
diff --git a/public/latestR41 b/public/latestR41
new file mode 120000
index 00000000..89105479
--- /dev/null
+++ b/public/latestR41
@@ -0,0 +1 @@
+v41.0
\ No newline at end of file
diff --git a/public/versions.json b/public/versions.json
index 3d754027..ab4488a6 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -7,7 +7,9 @@
{
"version": "v41.0",
"title": "v41.0",
- "aliases": []
+ "aliases": [
+ "latestR41"
+ ]
},
{
"version": "v31.0",
--
GitLab