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