Merge "Update CREDITS file to include new contributors"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Jan 2019 23:53:28 +0000 (23:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Jan 2019 23:53:28 +0000 (23:53 +0000)
commitf4b35e16a5582a42ed17a59a05182e9e2a52d571
tree2923c6b495392128760c13a35bf126065c285e45
parente996ac48bf7ebdc16f469e8f67a16177d8551af7
parent4dfa67e9afbae2162b9a1790057672db44a9992b
Merge "Update CREDITS file to include new contributors"