Doxygen-compatible comments in coding style
Merge pull request #4016

8414cb0 Doxygen-compatible comments in coding style (Wladimir J. van der Laan)