dev version from week 25 of year 2021
The GSI IT is rotating some certificates today (11/12/2024), leading to error messages like "certificate has expired" when logging in some of our tools. Please be patient, this should be resolved as they propagate the new ones to the various servers (e.g. redmine was blocked for 1 hour in the morning and came back). (by Pierre-Alain)
dev version from week 25 of year 2021