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

Merge pull request #6458 from miri64/mailmap/enh/add-more-of-my-mail-addr

mailmap: add missing mail address of mine
This commit is contained in:
Cenk Gündoğan 2017-01-23 16:26:53 +01:00 committed by GitHub
commit 15d99f0c5d

View File

@ -10,6 +10,7 @@ Martine Lenders <m.lenders@fu-berlin.de> <authmillenon@gmail.com>
Martine Lenders <m.lenders@fu-berlin.de> <mail@martin-lenders.de>
Martine Lenders <m.lenders@fu-berlin.de> <mail@martine-lenders.eu>
Martine Lenders <m.lenders@fu-berlin.de> <mlenders@inf.fu-berlin.de>
Martine Lenders <m.lenders@fu-berlin.de> <authmill@datalove.me>
Oleg Hahm <oleg@hobbykeller.org> <oleg@hobbykeller.org>
Oleg Hahm <oleg@hobbykeller.org> <gello@gmx.de>
Oleg Hahm <oleg@hobbykeller.org> <oliver.hahm@inria.fr>