Merge "Fix alias capitalization warning"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 May 2016 16:18:20 +0000 (16:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 May 2016 16:18:20 +0000 (16:18 +0000)
commitc83be6494e18890777f53ec20f98c2a8a349713f
treed949b770f232db169ad0e057d83b1d15836bbb20
parent0cfd26d7320e887713b7ce4586c0d8841febc6c2
parent0c64cd4d2afd7a84894a1955f2cb164427163a87
Merge "Fix alias capitalization warning"