From 55ab4e3c243009235f9bb9265057a6a4d6a63d77 Mon Sep 17 00:00:00 2001 From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org> Date: Thu, 21 Nov 2024 04:57:44 +0000 Subject: [PATCH] Set properties for v4.2.0 in public with mike 2.1.3 -- GitLab