Commit 3978c103 authored by feld's avatar feld

Merge branch 'features/docker' into 'develop'

Features/docker

See merge request !82
parents 0f9cee2a e813cbf7
Pipeline #22761 passed with stages
in 9 minutes and 15 seconds