Merge branch 'fix/example-1p-rot' into 'master' (!2045) · Merge requests · dumux-repositories / dumux · GitLab

Merged Timo Koch requested to merge cherry-pick-41fc30cc into releases/3.2 Apr 23, 2020

[examples][1prot][fix] Do not require UMFPack

See merge request !2044 (merged)

(cherry picked from commit 41fc30cc)

d1c31e0f [examples][1prot][fix] Do not require UMFPack