Merge branch 'cleanup/minorChanges' into 'next' (!296) · Merge requests · dumux-repositories / dumux · GitLab

Merged Timo Koch requested to merge cherry-pick-50b9a631 into next Dec 14, 2016

Cleanup/minor changes

See merge request !286 (merged)