Merge "Update CREDITS"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 7 May 2017 17:09:46 +0000 (17:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 7 May 2017 17:09:46 +0000 (17:09 +0000)
commitda0d3470c0ad11e7a28cbc03a55beb30ea5f920c
treedbb742e6e833ddf2069c59e6ea240d437d5bdebf
parentffcb34b56efa29e32434cfe1c55ef8fc076ba9ff
parent69445674ba16bcc0656cb9c6c25911684ff72d52
Merge "Update CREDITS"