Merge branch 'update/license' into 'master' (!2030) · Merge requests · dumux-repositories / dumux · GitLab

Timo Koch requested to merge cherry-pick-82253d47 into releases/3.2 Apr 22, 2020

[License] Update contributors list

See merge request !2026 (merged)

(cherry picked from commit 82253d47)

62acebc7 [License] Update contributors list