Skip to content
This repository has been archived by the owner on Nov 17, 2023. It is now read-only.

fix doc build failures #6470

Merged
merged 2 commits into from
May 27, 2017
Merged

fix doc build failures #6470

merged 2 commits into from
May 27, 2017

Commits on May 26, 2017

  1. fix doc build failures

    Naveen Swamy committed May 26, 2017
    Configuration menu
    Copy the full SHA
    de6b9c3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into doc_build

    @nswamy
    nswamy authored May 26, 2017
    Configuration menu
    Copy the full SHA
    bffc1b4 View commit details
    Browse the repository at this point in the history