Merge pull request #7853 from mshabunin:fix-doc-warning

Documentation fixes for latest doxygen
This commit is contained in:
Alexander Alekhin 2016-12-14 13:52:27 +02:00 committed by GitHub
commit 53f72f18f5