diff options
| author | Sandro <sandro.jaeckel@gmail.com> | 2022-11-21 21:02:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-21 21:02:46 +0100 |
| commit | f92cbf494105b55109488392676d618acf10b192 (patch) | |
| tree | b929787c446347fc7e57469c0900b625b1a910a3 /maintainers/maintainer-list.nix | |
| parent | 814a0bc6b71af6928134898be2958adc603f76bf (diff) | |
| parent | cb0fc208b6febd743541206f7d73b1bb47806417 (diff) | |
Merge pull request #200737 from ursi/hexgui
Diffstat (limited to 'maintainers/maintainer-list.nix')
| -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 0941b2516cd36..ee2014d6525b1 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -14287,6 +14287,12 @@ githubId = 32751441; name = "urlordjames"; }; + ursi = { + email = "masondeanm@aol.com"; + github = "ursi"; + githubId = 17836748; + name = "Mason Mackaman"; + }; uskudnik = { email = "urban.skudnik@gmail.com"; github = "uskudnik"; |