Merge branch 'cleanup/extra-semicolon' into 'master' (!184) · Merge requests · Core Modules / dune-common · GitLab

Ansgar Burchardt requested to merge cherry-pick-e683e1df into releases/2.5 Nov 23, 2016

[cleanup] fix warning: extra ‘;’ [-Wpedantic]

This removes the extra ‘;’ warnings when compiling with -Wpedantic.

See merge request !176 (merged)