Skip to content

Fix Docker build

Move one for the build needed dependency form dev-depenendency to regular dependencies.

Closes #8

Edited by Christoph Becker

Merge request reports