Merge "Use wikimedia/at-ease insteaad of @"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 27 Dec 2015 21:00:26 +0000 (21:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 27 Dec 2015 21:00:27 +0000 (21:00 +0000)

Trivial merge