From 72f0eeb6e9aca2182318f8d8a8888c60142d953b Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Thu, 25 Apr 2024 14:07:28 +0000
Subject: [PATCH] Copied v4.1.3 to latestR4, latest in public with mike 2.0.0
---
public/latest | 2 +-
public/latestR4 | 2 +-
public/versions.json | 10 +++++-----
3 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/public/latest b/public/latest
index 32d946c3..8a58a0dc 120000
--- a/public/latest
+++ b/public/latest
@@ -1 +1 @@
-v4.1.4
\ No newline at end of file
+v4.1.3
\ No newline at end of file
diff --git a/public/latestR4 b/public/latestR4
index 32d946c3..8a58a0dc 120000
--- a/public/latestR4
+++ b/public/latestR4
@@ -1 +1 @@
-v4.1.4
\ No newline at end of file
+v4.1.3
\ No newline at end of file
diff --git a/public/versions.json b/public/versions.json
index 61b07134..d10a452c 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -2,15 +2,15 @@
{
"version": "v4.1.4",
"title": "v4.1.4",
- "aliases": [
- "latest",
- "latestR4"
- ]
+ "aliases": []
},
{
"version": "v4.1.3",
"title": "v4.1.3",
- "aliases": [],
+ "aliases": [
+ "latestR4",
+ "latest"
+ ],
"properties": {
"hidden": true
}
--
GitLab