Skip to content

Fix 2017 default time

Marco Cattaneo requested to merge fix2017InitialTime into 2018-patches

The previous value was beyond the end of the last fill of 2017, when the magnet had already been switched off.

Merge request reports