Skip to content
GitLab

Fixes to be able to build public headers in isolation

Merged Marco Clemencic requested to merge fix-public-headers-build into master

Fixes problems detected via gaudi/Gaudi!1394 (merged).