Build #4 (Sep 14, 2018 5:17:54 PM)

1. fixed docker image name (detail)

Started by GitLab push by Michele Carignani

• origin/jenkins