Merge branch 'feature/pedantic-semicolon' into 'master' (!2114) · Merge requests · dumux-repositories / dumux

Timo Koch requested to merge cherry-pick-ac5e8f9c into releases/3.2 May 04, 2020

Fix warning after DUMUX_REGISTER_PRECONDITIONER superfluous semicolon

Occurs only with pedantic

Needs backport to 3.2

(cherry picked from commit ac5e8f9c)

43c9d0d8 Fix warning after DUMUX_REGISTER_PRECONDITIONER superfluous semicolon 35072f7d [doc] Add documentation for the semicolon fix

Merge branch 'feature/pedantic-semicolon' into 'master'