Merge "Add some devs with significant contributions to core"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 11 Sep 2017 21:59:59 +0000 (21:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 11 Sep 2017 22:00:00 +0000 (22:00 +0000)
commitd400024d28aba2fe50dfad64e38bc68f727bae63
tree7af1e51c3ad400ecf43bee9d93cc5c2f1e7389b2
parente0b2787dae749ba3d4cb18bc9b3fe789db69046f
parent3974e670f51a0d83919cdc114253b2e2fdf6a4c9
Merge "Add some devs with significant contributions to core"