lhcb-prerelease/1876
6da56cd0 · Merge branch 'better_synchronisation' into 'master' · Jul 02, 2018