Merge pull request #80325 from ericdallo/patch-1

Add my githubId in maintainer-list.nix
This commit is contained in:
Michele Guerini Rocco 2020-02-17 14:38:22 +01:00 committed by GitHub
commit fc1b4820ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2257,6 +2257,7 @@
ericdallo = { ericdallo = {
email = "ercdll1337@gmail.com"; email = "ercdll1337@gmail.com";
github = "ericdallo"; github = "ericdallo";
githubId = 7820865;
name = "Eric Dallo"; name = "Eric Dallo";
}; };
ericsagnes = { ericsagnes = {