Skip to content

removed unused (deprecated) include

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

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

Merge request reports