-
Philipp Arras authoredThey are not supposed to be used since they can be deactivated by `python3 -O ...`
aef76442
On Monday, June 12, 2023, from 9.00 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.
They are not supposed to be used since they can be deactivated by `python3 -O ...`