Merge branch 'cleanup/silence-warning-new-mat-law' into 'master' (!2343) · Merge requests · dumux-repositories / dumux · GitLab

Merged Kilian Weishaupt requested to merge cherry-pick-ea3619bc into releases/3.3 Nov 04, 2020

[deprecated] Silence compiler warning about unused variable

See merge request !2342 (merged)

(cherry picked from commit ea3619bc)

bfd9aca0 [deprecated] Silence compiler warning about unused variable