Revert "Merge branch 'gaudi-1143-workaround' into 'master'"
This reverts merge request !471 (merged)
To be merged only after gaudi/Gaudi!1143 (merged)
Edited by Marco Clemencic
This reverts merge request !471 (merged)
To be merged only after gaudi/Gaudi!1143 (merged)