Skip to content
GitLab

removed unused (deprecated) include

Merged Marco Clemencic requested to merge removed-unused-include into master

this fixes a (deprecation) warning introduced with gaudi/Gaudi!182 (merged)