diff options
author | Anderson Torres <torres.anderson.85@protonmail.com> | 2022-10-13 00:12:36 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-13 00:12:36 -0300 |
commit | c2dda2338be06567b3e397620653426b5dcd51d8 (patch) | |
tree | 2597f8a7194ec46c65138f7a5221fcea83ead2f1 /maintainers | |
parent | 50c692f317f93e7c4e4ebc5fccc49d764039ca0f (diff) | |
parent | 85fa4ac03e9b26420a90512d5bf6e5c2b9a5d423 (diff) |
Merge pull request #194520 from BattleCh1cken/master
arduino-language-server: init at 0.7.1
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 6030ae15c9825..93f0675d9c084 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1550,6 +1550,12 @@ githubId = 576355; name = "Bas van Dijk"; }; + BattleCh1cken = { + email = "BattleCh1cken@larkov.de"; + github = "BattleCh1cken"; + githubId = 75806385; + name = "Felix Hass"; + }; Baughn = { email = "sveina@gmail.com"; github = "Baughn"; |