diff options
Diffstat (limited to 'maintainers/maintainer-list.nix')
-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 61a9355ea81..9101690bd0f 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -6079,6 +6079,12 @@ githubId = 810075; name = "Juan Rodal"; }; + juboba = { + email = "juboba@gmail.com"; + github = "juboba"; + githubId = 1189739; + name = "Julio Borja Barra"; + }; juliendehos = { email = "dehos@lisic.univ-littoral.fr"; github = "juliendehos"; |