diff options
author | Samuel Leathers <disasm@gmail.com> | 2018-01-24 20:43:24 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-24 20:43:24 -0700 |
commit | efdb0983dafee81c8c43a9854babec82e9de23b5 (patch) | |
tree | 5dae359eb17d4c7eb21e117391935de1c811fff0 /lib | |
parent | 83d5ce37aa9c89d7c576aff44630b9f4b6dfa185 (diff) | |
parent | a7333e9cedc4ff42e761c65c1a88fb4ce493c0a7 (diff) |
Merge pull request #34199 from arcadio/kallisto
kallisto: init at 0.43.1
Diffstat (limited to 'lib')
-rw-r--r-- | lib/maintainers.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/maintainers.nix b/lib/maintainers.nix index 5614627db0d85..ba5ee757a7cd8 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -55,6 +55,7 @@ antonxy = "Anton Schirg <anton.schirg@posteo.de>"; apeschar = "Albert Peschar <albert@peschar.net>"; apeyroux = "Alexandre Peyroux <alex@px.io>"; + arcadio = "Arcadio Rubio GarcĂa <arc@well.ox.ac.uk>"; ardumont = "Antoine R. Dumont <eniotna.t@gmail.com>"; aristid = "Aristid Breitkreuz <aristidb@gmail.com>"; arobyn = "Alexei Robyn <shados@shados.net>"; |