Dev

added 30 commits

• a25cc712...33e8de51 - 29 commits from branch master
• ec340990 - Merge branch 'master' into dev

Compare with previous version

enabled an automatic merge when the pipeline for ec340990 succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• 3c888ba1 - Fixed test

Compare with previous version

mentioned in commit 85781bc6

merged