diff options
author | Joachim F <joachifm@users.noreply.github.com> | 2019-04-20 11:28:12 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-20 11:28:12 +0000 |
commit | f2462303502622d682b090edbf6d9f4a70e95d09 (patch) | |
tree | af7990c1e8717ed4ca35267091d42ee7a485d5ce /maintainers/maintainer-list.nix | |
parent | 512097dece6ecea924932a309250d0b0a29864e4 (diff) | |
parent | 1e3f2ecad1603403f414a2eeccfd5e0e1f9aea66 (diff) |
Merge pull request #59789 from anton-dessiatov/tilt
tilt: init at 0.7.13
Diffstat (limited to 'maintainers/maintainer-list.nix')
-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 c840c5f702de3..1fff95a4d3985 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -365,6 +365,11 @@ github = "ankhers"; name = "Justin Wood"; }; + anton-dessiatov = { + email = "anton.dessiatov@gmail.com"; + github = "anton-dessiatov"; + name = "Anton Desyatov"; + }; Anton-Latukha = { email = "anton.latuka+nixpkgs@gmail.com"; github = "Anton-Latukha"; |