Master

assigned to @mweise

added 13 commits

• 9a198d40...8ce92f04 - 12 commits from branch release-1.5
• dc155050 - Merge branch 'release-1.5'

Compare with previous version

enabled an automatic merge when the pipeline for dc155050 succeeds

mentioned in commit 981b0cbf

merged