Update CREDITS
authorEddie Greiner-Petter <git@eddie-sh.de>
Sun, 7 May 2017 00:35:08 +0000 (02:35 +0200)
committerEddie Greiner-Petter <git@eddie-sh.de>
Sun, 7 May 2017 14:33:32 +0000 (16:33 +0200)
commit69445674ba16bcc0656cb9c6c25911684ff72d52
tree0b4829257579cbb499d932bc206bb4a6a733cbda
parentaba5106e9a98fbd914128f134ea8f18c14ca2db2
Update CREDITS

Manual checks have shown that these people did really just start
contributing to core and didn't only switch mail adresses.
Change-Id: I8b09ae04a9d50a677d8491eb3fe6ff5af8dcaf53
.mailmap
CREDITS