Skip to content

avoid calling gaudi_install_headers twice

Marco Cattaneo requested to merge AvoidInstallHeadersCallTwice-2016 into 2016-patches

Cherry-picked from !721 (merged)

Merge request reports