Build #20 (Nov 5, 2019 6:52:30 PM)

1. Add docker registry information (detail)

Started by GitLab push by Michele Carignani

• origin/docker_registry