Merge pull request #7853 from mshabunin:fix-doc-warning
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 14 Dec 2016 11:52:27 +0000 (13:52 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Dec 2016 11:52:27 +0000 (13:52 +0200)
Documentation fixes for latest doxygen


Trivial merge