diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-10-26 16:44:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-26 16:44:15 +0200 |
commit | 9e672a708663d75b0779cd09f3bec5db670d7537 (patch) | |
tree | 10ddf9d258e5ebb4d79b7b5d529b2267b2ebba1a /maintainers | |
parent | d8ccdf66df8c90234eafdd8a1354599f805c9687 (diff) | |
parent | dae098f472998f3b1ef80569acbdfa24a54ba71e (diff) |
Merge pull request #140433 from dlip/vscode-rescript
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 e9949afe417d1..18331b69e0b4b 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2885,6 +2885,12 @@ githubId = 28980797; name = "David Leslie"; }; + dlip = { + email = "dane@lipscombe.com.au"; + github = "dlip"; + githubId = 283316; + name = "Dane Lipscombe"; + }; dmalikov = { email = "malikov.d.y@gmail.com"; github = "dmalikov"; |