diff options
author | Daniel Peebles <copumpkin@users.noreply.github.com> | 2018-05-01 16:03:40 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-01 16:03:40 -0400 |
commit | 9a63471b3a1a5e06606bdd039b1433940ccb0308 (patch) | |
tree | 71ac3ff60105e0d9cd3a25f463da8741d6027353 /maintainers | |
parent | 4bcf3d9b8221f73d032b74ebd29e8dba95369180 (diff) | |
parent | 0cb39237312fead3cfddb1dcfa1e761df08883b2 (diff) |
Merge pull request #39828 from wchresta/souffle-1.2
souffle: 1.0.0 -> 1.2.0
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 14fd53b2f4928..4b584e6a1151e 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3984,6 +3984,11 @@ github = "vyp"; name = "vyp"; }; + wchresta = { + email = "wchresta.nix@chrummibei.ch"; + github = "wchresta"; + name = "wchresta"; + }; wedens = { email = "kirill.wedens@gmail.com"; name = "wedens"; |