Revert "Merge branch 'followGaudi462' into 'master'"
This reverts merge request !1219 (merged). Needed because of gaudi/Gaudi!794 (merged) which reverts gaudi/Gaudi!462 (merged).
Edited by Marco Cattaneo
This reverts merge request !1219 (merged). Needed because of gaudi/Gaudi!794 (merged) which reverts gaudi/Gaudi!462 (merged).