Skip to content
Snippets Groups Projects

Merge branch 'add-missing-header' into 'master'

Merged Merge branch 'add-missing-header' into 'master'
cherry-pick-7bbb4d31 into releases/2.7
Merged oliver.sander_at_tu-dresden.de requested to merge cherry-pick-7bbb4d31 into releases/2.7
Status
Pipeline
Created by
Stages
Actions
Failed

00:02:27

avatar
Stage: test
Download artifacts

No artifacts found