Merge "mailmap: list new address not detected by updateCredits.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Jan 2019 23:53:35 +0000 (23:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Jan 2019 23:53:35 +0000 (23:53 +0000)
commita125219ea18035e973491b7e94090d2091f75e8d
tree2f0283bf61e6a1e0e40b31e647bf725ea5ff9a26
parentf4b35e16a5582a42ed17a59a05182e9e2a52d571
parent58037be4405d05c85291fea5f7883fcc0d754c0f
Merge "mailmap: list new address not detected by updateCredits.php"