diff options
author | Paul Menzel <pmenzel@molgen.mpg.de> | 2023-10-28 22:26:03 +0200 |
---|---|---|
committer | Martin L Roth <gaumless@gmail.com> | 2023-10-30 16:38:56 +0000 |
commit | 274d509596c54807de80a0c59c69a8aa7052171b (patch) | |
tree | 6f3114552eeaf6088a5dd9abeccd6acc2e5cf77e /.gitignore | |
parent | 1b102cae36ae44def0413f73d4255e49682fcc9b (diff) |
MAINTAINERS: Spell Jérémy’s name with accents
Change-Id: I4c025bbcb205fa5bd3dcb35c685a3db289a3f824
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/78803
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions