Skip to content

Ref updates needed for gaudi/Gaudi!1426

Marco Clemencic requested to merge ref-update-for-gaudi-1426 into master

Because of the way MR are handles in Gaudi, I created this MR with the ref update by hand instead of relying on the ref bot.

Merge request reports