Commit ff82a130 authored by Björn Bartels's avatar Björn Bartels

Merge branch 'docker' into 'master'

Upd CI cfg

See merge request !11
parents 5b58d8c9 9d81c3c1