Merge "add more repos intersphinx mapping"
authorweichen ni <niweichen@chinamobile.com>
Wed, 20 Nov 2019 07:52:43 +0000 (07:52 +0000)
committerGerrit Code Review <gerrit@o-ran-sc.org>
Wed, 20 Nov 2019 07:52:43 +0000 (07:52 +0000)

Trivial merge