diff --git a/dune.module b/dune.module index e87cdca79e78a2d89e5d91bdc167b0d3c7f02b01..2e82babb0653fe09bca5f7db1e90c05e7aa122d3 100644 --- a/dune.module +++ b/dune.module @@ -1,4 +1,4 @@ Module: dune-common -Version: 2.3 +Version: 2.3.0 Maintainer: dune-devel@dune-project.org Whitespace-Hook: Yes