Revert "Merge branch 'ci_hotfix' into 'devel'"
This reverts merge request !812 (merged)
Merge request reports
Activity
Filter activity
enabled an automatic merge when the pipeline for 189f06ff succeeds
mentioned in commit 9e76239b
added General typeHot-patch labels
Please register or sign in to reply