Removes some minor build warnings
added 2 commits
develop
Compare with previous version
enabled an automatic merge when the pipeline for d2497c72 succeeds
mentioned in commit 5bf8e8ed
merged