Commit f0862dd4 authored by Richard Mortier's avatar Richard Mortier

Merge branch 'use-dabuild_docker' into 'master'

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

See merge request !58
parents ec283280 1456d68e
Pipeline #5652 passed with stages
in 14 minutes and 38 seconds