Merge "Article: Remove unused variable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 24 Jul 2017 14:48:05 +0000 (14:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 24 Jul 2017 14:48:05 +0000 (14:48 +0000)
commitf38d3d348ff10654d2c6eec1d6f904fb051bf54d
tree8e5e2e16228f3062c5eae7b01da306e529bb389a
parent0574f4f145c0cb3eebd1038fff4a69bf5e19f481
parent6348b10a5014ede7fc3a595d8e40ee179443198c
Merge "Article: Remove unused variable"