Skip to content

make compatible with gaudi/Gaudi!834

Gerhard Raven requested to merge follow-gaudi-834 into master

This change is backwards compatible, and necessary for gaudi/Gaudi!834 (merged)

Edited by Marco Cattaneo

Merge request reports