WARNING! Gitlab maintenance operation scheduled for Saturday, 27 September 2025, from 07:00 AM to 4:00 PM GMT (09:00 AM to 6:00 PM CEST)
Merge branch 'main' into 1235-update-of-the-wmc-tool-to-v1-7-recognizing-the-newly-added-basop-operators