diff --git a/dune.module b/dune.module index da0d0c6d06eca6624fb3102ecb27ca17ee269a1f..12c728c418ef86b817294f52189e4bc52a056476 100644 --- a/dune.module +++ b/dune.module @@ -1,4 +1,4 @@ Module: dune-istl -Version: 2.1.1 +Version: 2.1.2 Maintainer: dune@dune-project.org Depends: dune-common (>= 2.1)