added 6 commits
dev
Compare with previous version
enabled an automatic merge when the pipeline for d268303a succeeds
mentioned in commit 07415c5a
merged