Remove extraneous PUBLIC_HEADERS uncovered by gaudi/Gaudi!615

Edited by Marco Cattaneo

Merge request reports

Loading