Merge "Fix spaces in doc comments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Sep 2019 22:35:56 +0000 (22:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Sep 2019 22:35:56 +0000 (22:35 +0000)
commit371f758d9ef456a5664c0d1247b4d18174a03f02
treef99c56a3602c9db8bfae50fe5ba0e2a1797983ea
parente81b3603dc2d4e149445ffb190c3b8fe1598b68d
parent6c64f01c236fe862db318b2cf5e8ca7061ef8ec5
Merge "Fix spaces in doc comments"