Commit ddc5d14a 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 !106
parents 7ae09a4b 453eac3a
Pipeline #8564 failed with stage
in 23 minutes and 25 seconds
Module: dune-localfunctions
Version: 2.5.2-git
Version: 2.5.2
Depends: dune-geometry (>= 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