Draft: Verify manual merge
Verify manual merge done in the following commit Merged done manually. commit 1c91ea85 (HEAD -> devel2, origin/devel2) Author: garciay yann.garcia@fscom.fr Date: Tue Nov 7 11:13:55 2023 +0100
Manual merge from ts_validation branch into devel2: https://forge.etsi.org/rep/ITS/ttcn/ats_pki_ts103525-3/-/merge_requests/2