Merge branch 'add_chronotimer' into '2018-patches' (!1141) · Merge requests · LHCb / Stripping · GitLab

Carlos Vazquez Sierra requested to merge cherry-pick-fc2d014b into run2-patches May 15, 2019

Add ChronoDelta script

See merge request !1140 (merged)

(cherry picked from commit fc2d014b)

0be7d7df Add ChronoDelta script