WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.

Commit c823b5b2 authored Dec 21, 2022 by malenovsky

Merge branch 'va/wmc_tool' into 'main'

Update of wmc tool [BE]

See merge request !307

parents e6d8da68 2dc1a18b

Admin message