update list of copyright holders (!920) · Merge requests · dumux-repositories / dumux · GitLab

Merged Bernd Flemisch requested to merge cherry-pick-ed7b441e into master Apr 20, 2018

(cherry picked from commit ed7b441e)

Patch got lost during transition next -> master.