Rc

added 4 commits

• 765e4547...8dc0c4ac - 3 commits from branch master
• 8635104f - Merge branch 'master' into 'rc'

Compare with previous version

enabled an automatic merge when the pipeline for 8635104f succeeds

merged

mentioned in commit bd5700c5