Merge branch 'add_chronotimer' into '2018-patches'
Add ChronoDelta script
See merge request !1140 (merged)
(cherry picked from commit fc2d014b)
0be7d7df Add ChronoDelta script
GitLab jobs artifacts no longer stored forever as of Monday, November 4th 08:30h. Further information under https://cern.ch/otg0152576
Add ChronoDelta script
See merge request !1140 (merged)
(cherry picked from commit fc2d014b)
0be7d7df Add ChronoDelta script