Merge "Remove outdated comment"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Sep 2017 18:42:46 +0000 (18:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Sep 2017 18:42:46 +0000 (18:42 +0000)
commit13e59687c81b6bdd9b7fab8a49aee8ffd68e0a21
tree74a8d698bc5053143989878a6aa99ad0d3a36f6e
parent1d7a1bf8bddf0908e4f572c82268733f63126a13
parent51d3cc80f1384be565ffc610887569a33cdc1380
Merge "Remove outdated comment"