Merge "Add sphinx extensions"
authorAric Gardner <agardner@linuxfoundation.org>
Tue, 12 Jan 2016 12:13:01 +0000 (12:13 +0000)
committerGerrit Code Review <gerrit@172.30.200.206>
Tue, 12 Jan 2016 12:13:01 +0000 (12:13 +0000)

Trivial merge