New docker version: 9dbe7d7 (!10) · Merge requests · Software Engineering / deploy-hosts / fmi_utilities · GitLab

Overture Build Server requested to merge 9dbe7d7 into master Dec 10, 2019

See #33 at https://sweng.au.dk/job/fmi_utilities_deploy/33/