Merge "A few doc comment fixups"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 Dec 2017 20:22:10 +0000 (20:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Dec 2017 20:22:10 +0000 (20:22 +0000)
commit0ac1ee63e8b131576c8e9b703ed01ee5f9a377d1
treef8375518d918d59f1187d940bee6df8aef771c39
parent7caacfb3d038e6e346f1ed9d3189a7cffda0c5a3
parentdc2948d76d67ceac9595b7f86b3d5694b5c0e69d
Merge "A few doc comment fixups"