Merge "mediawiki.Title: Remove redundant closure"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 6 Apr 2019 23:54:02 +0000 (23:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 6 Apr 2019 23:54:02 +0000 (23:54 +0000)
commit062f8a1fe19f244f3dee88a230237d4413c26208
tree47d534be89ffce060526ea814af124bd3df4424f
parenteb583d77c4db6268502c4907665be695f8b1372a
parentb22a79623ac9c01d43ee10e5f61bf8ab2913c0e6
Merge "mediawiki.Title: Remove redundant closure"