Pipelines · Merge branch 'nifty7badges' into 'NIFTy_7' (5484a894) · Commits · ift / NIFTy

Commit 5484a894 authored May 28, 2020 by

Martin Reinecke

Fix badges for nifty7

See merge request !514

Pipeline #75712 passed with stages in 11 minutes and 3 seconds