Merge "Add missing colons"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 9 Jul 2016 21:18:53 +0000 (21:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 9 Jul 2016 21:18:53 +0000 (21:18 +0000)
commit86c82492ecf34bf2fbc140a61b148be7f203d772
treee65689b77fb22aba7f3e6180d60eb28fda48aaef
parentd5c789302416df58fe3d5cb04aef50106ce1dacf
parent13fd72a1152cafd434115aa21f1de3126dd205d3
Merge "Add missing colons"