diff options
author | Domen Kožar <domen@dev.si> | 2021-02-11 11:52:41 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-11 11:52:41 +0000 |
commit | 576f60806bede1c4ea6837e437c37dfcdfe4cf89 (patch) | |
tree | d9f94c06f30e8b203d690b43677d175e75a19915 /maintainers | |
parent | d31965307652d50f8263c393e0351f3951e6737a (diff) | |
parent | bdf0239c3f83ee985901e930d87659731e02c8e2 (diff) |
Merge pull request #112457 from avh4/elm-format-0.8.5
elm-format: 0.8.4 -> 0.8.5
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 5fec5230a5941..ddebdbb3260db 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -910,6 +910,12 @@ githubId = 687218; name = "averelld"; }; + avh4 = { + email = "gruen0aermel@gmail.com"; + github = "avh4"; + githubId = 1222; + name = "Aaron VonderHaar"; + }; avitex = { email = "theavitex@gmail.com"; github = "avitex"; |