Merge "Minor documentation cleanup"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 16 Jan 2018 19:47:19 +0000 (19:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 16 Jan 2018 19:47:20 +0000 (19:47 +0000)
commit3448f72a15a59c9242d2015bce26b027ce31cc51
tree16984758cb0aa141791d1a7f830f9fca472027ae
parenta79d012e1c40dbeeb55a90b8099fea4aa9b1270b
parentf28c5739fdf9a11e35af56d1c692642f220585c7
Merge "Minor documentation cleanup"