diff options
| -rw-r--r-- | maintainers/maintainer-list.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 7a5c9fcbd7f..a82dd0a89dd 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1701,6 +1701,18 @@ githubId = 3471749; name = "Claudio Bley"; }; + cburstedde = { + email = "burstedde@ins.uni-bonn.de"; + github = "cburstedde"; + githubId = 109908; + name = "Carsten Burstedde"; + keys = [ + { + longkeyid = "rsa2048/0x0704CD9E550A6BCD"; + fingerprint = "1127 A432 6524 BF02 737B 544E 0704 CD9E 550A 6BCD"; + } + ]; + }; cdepillabout = { email = "cdep.illabout@gmail.com"; github = "cdepillabout"; |