From 0deed3581dab9e3893063405b61fe7bb8c5922d8 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Fri, 22 Nov 2024 07:42:24 +0000
Subject: [PATCH] Set properties for v4.2.0 in public with mike 2.1.3
---
public/versions.json | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/public/versions.json b/public/versions.json
index 087f96de..06404926 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -3,8 +3,8 @@
"version": "v4.2.0",
"title": "v4.2.0",
"aliases": [
- "latestR4",
- "latest"
+ "latest",
+ "latestR4"
],
"properties": {
"hidden": true
--
GitLab