Fix 2017 default time (!1221) · Merge requests · LHCb / LHCb

Marco Cattaneo requested to merge cherry-pick-28665b55 into master Apr 06, 2018

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

Propagated from 2018-patches, see merge request !1220 (merged) (cherry picked from commit 28665b55)

Edited Apr 06, 2018 by Marco Cattaneo

Fix 2017 default time