Skip to content

Merge branch 'bugfix/UseUG-pass-OBJECT-option' into 'master'

Ansgar Burchardt requested to merge cherry-pick-4007b3ed into releases/2.5

Pass OBJECT option to add_dune_mpi_flags

See merge request !140 (merged)

Merge request reports