Add new platforms strings to PlatformInfo (@clemenci) (!3071) · Merge requests · LHCb / LHCb · GitLab

Marco Cattaneo requested to merge cherry-pick-330dfed1 into run2-patches May 25, 2021

See merge request !3062 (merged) and !3073 (merged)

(cherry picked from commit 330dfed1 and 243086ac)

Edited May 25, 2021 by Rosen Matev