Merge branch 'fix/missing-include-amg' into 'master' (!2742) · Merge requests · dumux-repositories / dumux

Merged Timo Koch requested to merge cherry-pick-0c8d203e into releases/3.4 3 years ago

Timo Koch authored 3 years ago

[fix][amg] Add missing include

See merge request !2738

(cherry picked from commit 0c8d203e)

707dc14b [fix][amg] Add missing include

7c753b1b

Merge branch 'fix/missing-include-amg' into 'master'