Skip to content

Fix version in dune.module

Markus Blatt requested to merge bugfix/fix-version-2.9 into releases/2.9

-git should not be there.

Merge request reports