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

Merge pull request #20802 from miri64/mailmap/enh/tud

mailmap: add my TU Dresden e-mail address
This commit is contained in:
benpicco 2024-07-31 11:15:02 +00:00 committed by GitHub
commit 687a30af33
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -17,6 +17,7 @@ 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>
Martine Lenders <m.lenders@fu-berlin.de> <martine.lenders@tu-dresden.de>
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>