Merge "Build both sphinx and doxygen docs in verify/merge jobs. Push only doxygen...
authorVanessa Rene Valderrama <[email protected]>
Fri, 21 Feb 2020 17:25:07 +0000 (17:25 +0000)
committerGerrit Code Review <[email protected]>
Fri, 21 Feb 2020 17:25:07 +0000 (17:25 +0000)

Trivial merge