Add TaggedBool header to 2017-patches (!2103) · Merge requests · LHCb / LHCb · GitLab

Carlos Vazquez Sierra requested to merge cherry-pick-6dac05e0 into 2017-patches Sep 06, 2019

Cherry-picked from !1761 (merged) on stripping21-patches

Edited Sep 08, 2019 by Marco Cattaneo