diff options
author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2024-05-01 15:16:37 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-01 15:16:37 -0400 |
commit | aeebce2b87e0d5c192db9c01235d4859529c6f03 (patch) | |
tree | 8ef045b54a5df8eb3df826b01db56e680052d48b /maintainers | |
parent | 488dce013cd4100ea0ab2ed8a754b13fbe66c891 (diff) | |
parent | afde4332c323da699b4b2ea7aa60afcd30f19f24 (diff) |
Merge pull request #308122 from guitargeek/root_63006
root: 6.30.04 -> 6.30.06
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 2644dd41bec7..84f2632702ca 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -7702,6 +7702,12 @@ githubId = 10654650; name = "Guillaume Koenig"; }; + guitargeek = { + email = "jonas.rembser@cern.ch"; + github = "guitargeek"; + githubId = 6578603; + name = "Jonas Rembser"; + }; guserav = { github = "guserav"; githubId = 28863828; |