dune.module: prepare for 2.5.0 release (!138) · Merge requests · Core Modules / dune-grid

Merged Ansgar Burchardt requested to merge feature/prepare-for-2.5.0 into releases/2.5 8 years ago

Status	Pipeline	Created by	Stages	Actions
Passed 05:15:24 8 years ago	dune.module: prepare for 2.5.0 release #1521 feature/prepare-for-2.5.0 e84bf167		Stage: test	Download artifacts No artifacts found

dune.module: prepare for 2.5.0 release