lhcb-prerelease/1742
63e7d9e8 · Merge branch 'follow-up-gaudi-420' into 'master' · Feb 20, 2018