Merge "Add support for sphinx-tabs extension" v0.5.0
authorAndrew Grimberg <agrimberg@linuxfoundation.org>
Wed, 8 Jul 2020 20:28:50 +0000 (20:28 +0000)
committerGerrit Code Review <gerrit@linuxfoundation.org>
Wed, 8 Jul 2020 20:28:50 +0000 (20:28 +0000)

Trivial merge