Merge branch 'bugfix/UseUG-pass-OBJECT-option' into 'master' (!149) · Merge requests · Core Modules / dune-grid · GitLab

Snippets Groups Projects

Merged Ansgar Burchardt requested to merge cherry-pick-4007b3ed into releases/2.5 8 years ago

Pass OBJECT option to add_dune_mpi_flags

See merge request !140 (merged)

Approval is optional

Activity

Ansgar Burchardt enabled an automatic merge when the pipeline for 6a602466 succeeds 8 years ago

enabled an automatic merge when the pipeline for 6a602466 succeeds
Ansgar Burchardt changed milestone to %DUNE 2.5.1 8 years ago

changed milestone to %DUNE 2.5.1
Ansgar Burchardt added backport bugfix buildsystem labels 8 years ago

added backport bugfix buildsystem labels
Ansgar Burchardt mentioned in commit 27981955 8 years ago

mentioned in commit 27981955
Ansgar Burchardt merged 8 years ago

merged

Please register or sign in to reply