1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-25 06:23:53 +01:00

Merge pull request #7930 from miri64/mailmap/enh/jose

git: mailmap: deduplicate @jia200x
This commit is contained in:
Martine Lenders 2017-11-02 19:57:44 +01:00 committed by GitHub
commit d9bb006245
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,6 +4,7 @@ Hauke Petersen <devel@haukepetersen.de> <hauke.petersen@fu-berlin.de>
Hauke Petersen <devel@haukepetersen.de> <mail@haukepetersen.de>
Joakim Nohlgård <joakim.nohlgard@eistec.se> <joakim.gebart@eistec.se>
Joakim Nohlgård <joakim.nohlgard@eistec.se> <joakim@gebart.se>
José Ignacio Alamos Aste <jialamos@uc.cl>
Kaspar Schleiser <kaspar@schleiser.de>
Ludwig Knüpfer <ludwig.knuepfer@fu-berlin.de> <ludwig.ortmann@fu-berlin.de>
Martine Lenders <m.lenders@fu-berlin.de> <authmillenon@gmail.com>