diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2022-01-10 00:21:32 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-10 00:21:32 +0000 |
commit | 3849f52647cb730765da0017333325f3fb428063 (patch) | |
tree | 575ff26af5d6eb64788e1058b3f81b38f6ecb2a2 /maintainers | |
parent | cffd5d54d72a28cafd69fdaba8310ef0757c269e (diff) | |
parent | 12cc34ce2dd2f8d5973b91ca0c6c16d98f335fd6 (diff) |
Merge pull request #153890 from oliverbunting/yosys-symbiflow-plugins
yosys: Add yosys-symbiflow-plugins
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 b2fae16f3b67c..ea7ec01cb75af 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -8887,6 +8887,12 @@ githubId = 72201; name = "Ole Jørgen Brønner"; }; + ollieB = { + email = "1237862+oliverbunting@users.noreply.github.com"; + github = "oliverbunting"; + githubId = 1237862; + name = "Ollie Bunting"; + }; olynch = { email = "owen@olynch.me"; github = "olynch"; |