diff options
author | worldofpeace <worldofpeace@protonmail.ch> | 2019-10-15 20:55:28 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-15 20:55:28 +0000 |
commit | 4bcef38f24f0d8b74d94c9846982f18cb9b66bcd (patch) | |
tree | 82575f837b5cded950110b671cda066fe714a32d /maintainers | |
parent | 2f6f6a38551f6048c6ba4c63e4aa511edb2b4beb (diff) | |
parent | 15dbd8de7c0f6079746378700f54913049433c79 (diff) | |
download | nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.gz nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.bz2 nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.lz nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.xz nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.zst nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.zip |
Merge pull request #63827 from acairncross/fix-monosat
monosat: Fix Linux build
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 3dbd6282df4..af9a6d35f78 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -137,6 +137,11 @@ githubId = 2321000; name = "Ruslan Babayev"; }; + acairncross = { + email = "acairncross@gmail.com"; + github = "acairncross"; + name = "Aiken Cairncross"; + }; acowley = { email = "acowley@gmail.com"; github = "acowley"; |