Merge branch 'develop' into '80-use-boost-directory-functionality'

# Conflicts:
#   .gitlab-ci.yml
2 jobs for 80-use-boost-directory-functionality in 21 seconds (queued for 3 seconds)