Merge branch 'feature/pedantic-semicolon' into 'master'
Fix warning after DUMUX_REGISTER_PRECONDITIONER superfluous semicolon
Occurs only with pedantic
Needs backport to 3.2
See merge request !2110 (merged)
(cherry picked from commit ac5e8f9c)
43c9d0d8 Fix warning after DUMUX_REGISTER_PRECONDITIONER superfluous semicolon 35072f7d [doc] Add documentation for the semicolon fix