Commit ee55b44d authored by Christophe Henry's avatar Christophe Henry

Merge branch 'jenkinsfiles-with-spaces' into 'develop'

Correcly change ownership of files with space in Jenkins' Docker container

See merge request !123
parents 6b18c6d1 ba51d944
Pipeline #5490 passed with stage
in 0 seconds