Convert CREDITS to single list of contributors
authorBryan Davis <bd808@wikimedia.org>
Thu, 13 Oct 2016 03:08:59 +0000 (21:08 -0600)
committerBryan Davis <bd808@wikimedia.org>
Wed, 19 Oct 2016 22:39:24 +0000 (16:39 -0600)
commitcba03a57773f12bee6114b4eea5e2304936ac7c3
tree8ab92a825c3598aea5f7279aff5a80c9510ef20c
parent269a6a0a0391442a882007241e9ada99c57206b7
Convert CREDITS to single list of contributors

Merge the "developers" and "patch contributors" lists into a single list
of "contributors".

Bug: T139300
Change-Id: I44a49b3e0231c767bc41cd8bf8d68e28944b5cce
CREDITS