Move Docker image to new repo, use dev-only image#38

Merged

aureliojargas merged 1 commit intomasterfrom docker-dev-only

Jun 30, 2020

+38-144

Commits on Jun 30, 2020

Move Docker image to new repo, use dev-only image
aureliojargas
committed