Docs: Update readme in docs folder (cherry-pick from master) #2370
Merged
jf205 merged 1 commit intogithub:rc/1.23from Nov 18, 2019
Merged
Docs: Update readme in docs folder (cherry-pick from master) #2370jf205 merged 1 commit intogithub:rc/1.23from
jf205 merged 1 commit intogithub:rc/1.23from
Commits
Commits on Nov 18, 2019
- authored andcommitted
