Merge "Convert CREDITS to list of all known git contributors"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 Nov 2016 18:57:41 +0000 (18:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 Nov 2016 18:57:41 +0000 (18:57 +0000)
commit93c3eae1ff89c54bd08c5b295fe4ac66a982ea30
tree2b5098be6dba86ab357473a14efcd10c04645dcc
parentc6adf0408cee1c0be97c222aa2689ec5800a84a4
parent08d54bc01c540c723fde1738922ed778783a254a
Merge "Convert CREDITS to list of all known git contributors"