diff options
author | OTABI Tomoya <tomoya.otabi@gmail.com> | 2023-11-03 19:38:32 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-03 19:38:32 +0900 |
commit | 9856547919f58ad79f7edf7c9cc01d49c2de93dd (patch) | |
tree | 6d39d4411d43949b693c6a5989528cf2f554caf5 /maintainers | |
parent | a1edc424af3bf0a13f4556fe46ab6e98fa1e3e3b (diff) | |
parent | 09499a0580dbb9ad21ba9feaa4a70c357806fd3f (diff) |
Merge pull request #264729 from ludat/add-dotbot
dotbot: init at 1.20.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 99af23423d48a..4ec9ebd18811d 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -10480,6 +10480,12 @@ githubId = 2487922; name = "Lars Jellema"; }; + ludat = { + email = "lucas6246@gmail.com"; + github = "ludat"; + githubId = 4952044; + name = "Lucas David Traverso"; + }; ludo = { email = "ludo@gnu.org"; github = "civodul"; |