diff options
author | Francesco Gazzetta <fgaz@fgaz.me> | 2023-10-20 13:55:29 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-20 13:55:29 +0000 |
commit | 0b9ab92dea431d0f5ff513f9a7da984ef9c22e65 (patch) | |
tree | dba533d933ab2395192222c628e6e9dbc9b7d526 /maintainers | |
parent | 3fdf8edafb616f55ed47d28086c3f2d8eeb14d7b (diff) | |
parent | a7d0c0e7ca5b7efdf75e162c0e4f8b72739ac8c2 (diff) |
Merge pull request #259340 from robert-manchester/tkdiff_5_6
tkdiff: init at 5.6
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 87687572f3f02..cba46849dbd14 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -15043,6 +15043,12 @@ githubId = 496447; name = "Robert Hensing"; }; + robert-manchester = { + email = "robert.manchester@gmail.com"; + github = "robert-manchester"; + githubId = 86313040; + name = "Robert Manchester"; + }; robertodr = { email = "roberto.diremigio@gmail.com"; github = "robertodr"; |