Commit 90797141 authored by godog's avatar godog

Merge branch 'docker' into 'master'

Docker

See merge request !1
parents 53ba5b70 e0d01084
Pipeline #1607 passed with stages
in 2 minutes and 10 seconds