Resolve "docker_mirror has no default"

Maarten de Waardrequested to merge
869-docker_mirror-has-no-default into master

Closes #869 (closed)

Edited by Maarten de Waard

Merge request reports