From 9135fdb3927be5301135bb69f5dcb01784c764f8 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Thu, 25 Apr 2024 14:43:12 +0000
Subject: [PATCH] Set properties for v4.1.1 in public with mike 2.0.0

---
 public/versions.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/public/versions.json b/public/versions.json
index 1496005a..abc1b608 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -11,11 +11,11 @@
     "version": "v4.1.1",
     "title": "v4.1.1",
     "aliases": [
-      "latest",
-      "latestR4"
+      "latestR4",
+      "latest"
     ],
     "properties": {
-      "hidden": true
+      "hidden": false
     }
   },
   {
-- 
GitLab