fix headercheck for mpifuture.hh and mpipack.hh (!752) · Merge requests · Core Modules / dune-common · GitLab

Snippets Groups Projects

Merged Janick Gerstenberger requested to merge bugfix/headercheck-mpifuture-mpipack into master 5 years ago

mpifuture.hh and mpipack.hh missed includes for Communication.

Activity

Janick Gerstenberger changed milestone to %DUNE 2.7.0 5 years ago

changed milestone to %DUNE 2.7.0
Janick Gerstenberger added bug label 5 years ago

added bug label
Robert K enabled an automatic merge when the pipeline for 8e20662f succeeds 5 years ago

enabled an automatic merge when the pipeline for 8e20662f succeeds
Robert K @robert.kloefkorn · 5 years ago

Owner

Thanks.
Robert K merged 5 years ago

merged
Robert K mentioned in commit 62ecb76f 5 years ago

mentioned in commit 62ecb76f

Please register or sign in to reply