Merge branch 'fix/use-discretization-tag' into 'master' (!188) · Merge requests · dumux-repositories / dumux-lecture · GitLab

Timo Koch requested to merge cherry-pick-f8a17a54 into releases/3.5 Jul 15, 2022

[sequential] Use discretization tag instead of deprecated enum

See merge request !187 (merged)

(cherry picked from commit f8a17a54)

bf969243 [sequential] Use discretization tag instead of deprecated enum