Skip to content

Propagate MR !941 from master to 2018-patches

Marco Cattaneo requested to merge cherry-pick-cd116208 into 2018-patches

Make compatible with gaudi/Gaudi!477 (merged) (cherry picked from commit cd116208)

Merge request reports