diff options
| author | Franz Pletz <fpletz@fnordicwalking.de> | 2019-09-14 14:08:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-14 14:08:35 +0000 |
| commit | 789760aa10374b82bfeaf7cd8ae9286b0fd93c51 (patch) | |
| tree | 93d76715bd92e36d680f0ec312ce9b1c9acbfeee /maintainers | |
| parent | 1a848ef93a5f60d747a373264fc69e2d8bfd64df (diff) | |
| parent | 148c82e07e91222b82fe5fc448cbe6a11d695fe3 (diff) | |
Merge pull request #68779 from mimame/update/maintainer
maintainer: mimadrid: update github username and personal data
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index f28161573dd07..3a761915d8ae2 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4156,11 +4156,11 @@ email = "miltador@yandex.ua"; name = "Vasiliy Solovey"; }; - mimadrid = { - email = "mimadrid@ucm.es"; - github = "mimadrid"; + mimame = { + email = "miguel.madrid.mencia@gmail.com"; + github = "mimame"; githubId = 3269878; - name = "Miguel Madrid"; + name = "Miguel Madrid Mencía"; }; minijackson = { email = "minijackson@riseup.net"; @@ -6649,7 +6649,7 @@ githubId = 1525767; name = "Vaibhav Sagar"; }; - valebes = { + valebes = { email = "valebes@gmail.com"; github = "valebes"; githubid = 10956211; |