diff --git a/dune.module b/dune.module index 5e6b769e40f0947fbd309ef39c79afc64cdb7d63..9fd0cbfed74b52402cd7a257dab0e14d6bb4f792 100644 --- a/dune.module +++ b/dune.module @@ -1,5 +1,5 @@ Module: dune-uggrid -Version: 2.7.0 +Version: 2.7.1 Depends: dune-common (>= 2.7) Maintainer: dune-devel@lists.dune-project.org Whitespace-Hook: Yes