Merge branch 'master' into 'develop'

Master

See merge request !705
2 jobs for develop in 20 seconds (queued for 8 seconds)
Name Stage Failure
failed
build Build
$ docker info
Client:
Debug Mode: false

Server:
ERROR: Cannot connect to the Docker daemon at tcp://docker:2375. Is the docker daemon running?
errors pretty printing info
Cleaning up file based variables
ERROR: Job failed: exit code 1