diff options
author | Nick Cao <nickcao@nichi.co> | 2023-10-25 10:07:12 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-25 10:07:12 -0400 |
commit | 96af761f6302b65238cd7e2eab81abbd983751cd (patch) | |
tree | f2c9071e70c52eb296e1c491cd3903bd27b3214b /maintainers | |
parent | 6e0068b034c23e5c58281ff44e5c11b546169adc (diff) | |
parent | 4bc0e5fbc89f4c8b5da9facde77927b6b8d49181 (diff) |
Merge pull request #263324 from taranarmo/julia-upstream-build-instructions-url-fix
julia: upstream build instructions url fix
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 83b0477c8a7cf..bb0f7c67a917a 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -17218,6 +17218,12 @@ githubId = 1901799; name = "Nathan van Doorn"; }; + taranarmo = { + email = "taranarmo@gmail.com"; + github = "taranarmo"; + githubId = 11619234; + name = "Sergey Volkov"; + }; tari = { email = "peter@taricorp.net"; github = "tari"; |