1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

mailmap: add missing mail address of mine

Very old mail address of mine that I don't really use any more, but
for some reason it is in RIOT's history, so here we go.
This commit is contained in:
Martine Lenders 2017-01-23 16:16:26 +01:00
parent 9891f60707
commit 76c5eb0980

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>