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

Fix/dune module version number

See merge request !109
2 jobs for master in 34 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Deploy
passed pages #4864

00:00:34

passed pages:deploy

00:00:01