Commit 96c14b88 authored by Björn Bartels's avatar Björn Bartels

Merge branch 'docker' into 'master'

Upd CI cfg

See merge request !17
parents 6e1738cb 91529a89