Merge "Change PyPI merge repo default and fix doc URL"
authorAric Gardner <agardner@linuxfoundation.org>
Thu, 3 Oct 2019 15:54:26 +0000 (15:54 +0000)
committerGerrit Code Review <gerrit@linuxfoundation.org>
Thu, 3 Oct 2019 15:54:26 +0000 (15:54 +0000)

Trivial merge