diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index f92e6a3b8007..2450958f6a1f 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -17392,6 +17392,12 @@ githubId = 1080963; name = "Roberto"; }; + robertrichter = { + email = "robert.richter@rrcomtech.com"; + github = "rrcomtech"; + githubId = 50635122; + name = "Robert Richter"; + }; robgssp = { email = "robgssp@gmail.com"; github = "robgssp";