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).

• [2018-11-04 00:10] Validation started with lhcb-lcg-dev4#705
• [2018-11-04 00:12] Validation started with lhcb-gaudi-head#2050
• [2018-11-04 00:12] Validation started with lhcb-sanitizers#54
• [2018-11-04 00:13] Validation started with lhcb-lcg-dev3#701
• [2018-11-04 00:14] Validation started with lhcb-tdr-test#348
• [2018-11-04 08:48] Validation started with lhcb-tdr-test#349
• [2018-11-05 00:15] Validation started with lhcb-lcg-dev3#702
• [2018-11-05 00:18] Validation started with lhcb-lcg-dev4#706
• [2018-11-05 00:18] Validation started with lhcb-gaudi-head#2051
• [2018-11-05 00:19] Validation started with lhcb-sanitizers#55
• [2018-11-05 00:23] Validation started with lhcb-tdr-test#350
• [2018-11-06 00:12] Validation started with lhcb-lcg-dev4#707
• [2018-11-06 00:13] Validation started with lhcb-head#2044
• [2018-11-06 00:13] Validation started with lhcb-lcg-dev3#703
• [2018-11-06 00:15] Validation started with lhcb-test-throughput#7
• [2018-11-06 00:16] Validation started with lhcb-sanitizers#56
• [2018-11-06 00:18] Validation started with lhcb-gaudi-head#2052
• [2018-11-06 00:21] Validation started with lhcb-tdr-test#351
• [2018-11-06 08:15] Validation started with lhcb-gaudi-merge#632

changed the description

unmarked as a Work In Progress

merged

mentioned in commit 1256e8dc