Required second Merge Request after release branch was merged into dev.
Will not occur anymore after removing the dev branch...
Merge request pipeline #13134 passed
Merge request pipeline passed for e1a6c1d0 4 years ago
Pipeline #13135 waiting for manual action
Pipeline waiting for manual action for e1a6c1d0 on master
added CI/CD label
merged
changed title from merge dev into master to v1.0.0rc0: merge dev into master