Commit 16f2fb66 authored 4 years ago by Prada Sarasola, Miguel

Merge branch '27-change-default-docker-registry-2' into 'master'

Resolve "Change default docker registry"

Closes #27

See merge request !57

Branches

Tags 3.10.1

1 merge request!57Resolve "Change default docker registry"

Pipeline #47895 failed 4 years ago