Commit 5f90a33e authored by Kilian Weishaupt's avatar Kilian Weishaupt
Browse files

Merge branch 'fix/dune-module-version-number' into 'master'

Fix/dune module version number

See merge request !109
parents b10eebd5 5c401540
Pipeline #2336 passed with stage
in 34 seconds