Merge 2017-patches into 2018-patches (!475) · Merge requests · LHCb / Hlt · GitLab

Rosen Matev requested to merge 2017-patches into 2018-patches Jan 25, 2018

Ports !473 (merged), !479 (merged), !480 (merged)

Edited Jan 30, 2018 by Rosen Matev