Skip to content

Sweeping !1011 from master to devel. [master] Fix platform definitions

LHCbDIRAC Bot requested to merge cherry-pick-2-3c5cae81f-devel into devel

[master] Fix platform definitions

See merge request !1011 (merged)

Merge request reports