Merge "Fix Revi's mailmap email address"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Jul 2017 21:07:03 +0000 (21:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Jul 2017 21:07:03 +0000 (21:07 +0000)
commit13bb844fdfff794525e2cb202176ddee3a23ef06
tree8537128981851df3be52e9593f08a1a4c7565a29
parentce8c123732d5042e71895da00578c0e77c0b1631
parent1095406cd8145aa7c8657908fe4f013f71755e2e
Merge "Fix Revi's mailmap email address"