Merge "Fix rtd verify job choosing strategy"
authorAric Gardner <agardner@linuxfoundation.org>
Mon, 16 Sep 2019 23:30:54 +0000 (23:30 +0000)
committerGerrit Code Review <gerrit@linuxfoundation.org>
Mon, 16 Sep 2019 23:30:54 +0000 (23:30 +0000)

Trivial merge