Solve loading problem related to re-addition of muon M5 shielding
Solve loading problem related to re-addition of muon M5 shieldingUpdate Infrastructure/Infrastructure.xml to put git:/TopLevelDirectory
Should solve loading problem due to MR !56 (merged) and included in global tag upgrade/dddb-20200501
and upgrade/dddb-20200502
that are deprecated.
Edited by Gloria Corti