Use 2.8.0 in dune.module (!188) · Merge requests · staging / dune-uggrid · GitLab

Snippets Groups Projects

Merged Markus Blatt requested to merge feature/dune.module-2.8.0 into releases/2.8 3 years ago

Activity

Markus Blatt enabled an automatic merge when the pipeline for 3406b9f3 succeeds 3 years ago

enabled an automatic merge when the pipeline for 3406b9f3 succeeds
Markus Blatt mentioned in commit bc2d1229 3 years ago

mentioned in commit bc2d1229
Markus Blatt merged 3 years ago

merged

Please register or sign in to reply