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

GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.

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