Merge branch 'fix/compiler-warnings' into 'master' (!458) · Merge requests · dumux-repositories / dumux · GitLab

Merged Thomas Fetzer requested to merge cherry-pick-5f48d9ba into next Mar 31, 2017

[fix] Remove superfluous semicolons

See merge request !457 (merged)