diff options
| author | Jaakko Paju <36770267+JPaju@users.noreply.github.com> | 2024-04-23 23:25:05 +0300 |
|---|---|---|
| committer | Jaakko Paju <36770267+JPaju@users.noreply.github.com> | 2024-04-24 09:57:41 +0300 |
| commit | 4355e2abb7a4bc4a685b5a1bf2442ecc689f8cbc (patch) | |
| tree | a969600e017b7f7936a4ae3fe238090812fe4922 /maintainers | |
| parent | f39106a7b92fb72aa0e38498fc94a24ed8e58069 (diff) | |
metals: add jpaju as maintainer
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 38b8896c18836..7d96a8251b295 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -9857,6 +9857,11 @@ github = "jpagex"; githubId = 635768; }; + jpaju = { + name = "Jaakko Paju"; + github = "jpaju"; + githubId = 36770267; + }; jpas = { name = "Jarrod Pas"; email = "jarrod@jarrodpas.com"; |