Merge branch 'feature/header-check-v3.4' into 'master' (!2679) · Merge requests · dumux-repositories / dumux · GitLab

Timo Koch requested to merge cherry-pick-e1a0949b into releases/3.4 Jun 08, 2021

Resolve "Run and fix make headercheck (3.4)" (dumux-repo)

Closes #1040 (closed)

See merge request !2675 (merged)

(cherry picked from commit e1a0949b)

2709ed6f [headercheck] Fix missing headers and non ISO C++11 code