Fix -Wnon-virtual-dtor warning

Exposed by gaudi/Gaudi!808 (merged)

mentioned in merge request gaudi/Gaudi!808 (merged)

added 1 commit

• f7c04e79 - fix -Wnon-virtual-dtor warning

Compare with previous version

• [2018-11-15 00:09] Validation started with lhcb-lcg-dev3#712
• [2018-11-15 00:12] Validation started with lhcb-lcg-dev4#716
• [2018-11-15 00:15] Validation started with lhcb-sanitizers#65
• [2018-11-15 00:18] Validation started with lhcb-gaudi-head#2061
• [2018-11-15 00:18] Validation started with lhcb-tdr-test#361
• [2018-11-15 01:37] Validation started with lhcb-tdr-test#361
• [2018-11-15 02:46] Validation started with lhcb-tdr-test#361
• [2018-11-16 00:09] Validation started with lhcb-lcg-dev3#713
• [2018-11-16 00:10] Validation started with lhcb-lcg-dev4#717
• [2018-11-16 00:11] Validation started with lhcb-sanitizers#66
• [2018-11-16 00:14] Validation started with lhcb-tdr-test#362
• [2018-11-16 00:14] Validation started with lhcb-gaudi-head#2062
• [2018-11-16 00:15] Validation started with lhcb-head#2054
• [2018-11-16 08:19] Validation started with lhcb-gaudi-merge#643

unmarked as a Work In Progress

changed title from WIP: fix -Wnon-virtual-dtor warning to Fix -Wnon-virtual-dtor warning

changed the description

removed 1 deleted label

merged

mentioned in commit 5b3a5d5d

mentioned in commit 03469891

mentioned in merge request !1480 (closed)