Merge branch 'fix/gridmanager-compile-time-check' into 'master' (!3111) · Merge requests · dumux-repositories / dumux

Timo Koch requested to merge cherry-pick-7ff0ef87 into releases/3.5 May 11, 2022

[grid] Make it fail at compile time if grid manager specialization is missing

See merge request !3110 (merged)

(cherry picked from commit 7ff0ef87)

52870b8a [grid] Make it fail at compile time if grid manager specialization is missing

Merge branch 'fix/gridmanager-compile-time-check' into 'master'