diff options
author | obadz <3359345+obadz@users.noreply.github.com> | 2019-08-26 19:53:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-26 19:53:30 +0100 |
commit | a9b4e7592faad4852236245d333ea72c2cb282b8 (patch) | |
tree | a3a8a0c7f614b847b3915d5100ac966a7a59d632 /maintainers | |
parent | 5fd25ae8337ce20c8cb5b73fc86ca3d480ffa507 (diff) | |
parent | e57b145a81b334d0b8830c971868f1e0fbcaf35c (diff) |
Merge pull request #66299 from jdanekrh/jd_fsharp_update_mono
fsharp41: 4.1.7 -> 4.1.34; mono = mono6
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index aca54c9f102..e20bc18ef27 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2863,6 +2863,15 @@ githubId = 1383440; name = "Jason Gilliland"; }; + jdanek = { + email = "jdanek@redhat.com"; + github = "jdanekrh"; + keys = [{ + longkeyid = "ed25519/0x69275CADF15D872E"; + fingerprint = "D4A6 F051 AD58 2E7C BCED 5439 6927 5CAD F15D 872E"; + }]; + name = "Jiri Danฤk"; + }; jdehaas = { email = "qqlq@nullptr.club"; github = "jeroendehaas"; |