lhcb-prerelease/1875
6da56cd0 · Merge branch 'better_synchronisation' into 'master' ·