Merge "Fix indenting and newlines"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 8 Nov 2018 19:20:04 +0000 (19:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 8 Nov 2018 19:20:04 +0000 (19:20 +0000)
commitc678feabafdfbfa748977e04a7e84e8192b69f81
tree8db2602a8d9b5dd9dd26520a9ba2a6b6d5c6aa8d
parentd4780d84c0e67a6868cb10d4a9149d870ee2ae50
parenta5a513547f509b282890fa79b0dc355deeda3ac3
Merge "Fix indenting and newlines"