Merge pull request #9773 from shoeffner:feature/doxygen-tag-file
authorMaksim Shabunin <maksim.shabunin@gmail.com>
Fri, 6 Oct 2017 10:44:58 +0000 (10:44 +0000)
committerMaksim Shabunin <maksim.shabunin@gmail.com>
Fri, 6 Oct 2017 10:44:58 +0000 (10:44 +0000)

Trivial merge