Solve loading problem related to re-addition of muon M5 shielding

Gloria Cortirequested to merge
gcorti-muon-upgrade-geometry-patch-75811 into upgrade/master

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.

cc: @cattanem, @asarti, @scali, @tlatham, @gcavalle

Edited by Gloria Corti

Merge request reports