Merge branch 'use-dabuild_docker' into 'master'

dabuild: doh! actually use the indicated `$DABUILD_DOCKER` command

See merge request !58
16 jobs for master in 14 minutes and 50 seconds (queued for 3 seconds)
Scheduled