Workaround for undefined symbol

Marco Clemencicrequested to merge
workaround-for-unresolved-symbol into master

This change hides the gcc issue with unresolved symbol triggered by gaudi/Gaudi!1307 (merged).

Edited by Gloria Corti

Merge request reports