Commit 8a7908b2 authored by Ansgar Burchardt's avatar Ansgar Burchardt

Merge branch 'feature/prepare-for-2.5.2' into 'releases/2.5'

dune.module: prepare for 2.5.2 release

See merge request !199
parents 583ad700 55b9759a
Pipeline #8563 failed with stage
in 11 minutes
Module: dune-istl
Version: 2.5.2-git
Version: 2.5.2
Maintainer: dune-devel@lists.dune-project.org
Depends: dune-common (>= 2.5.0)
Whitespace-Hook: Yes
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment