diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-12-13 19:53:27 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-12-13 21:52:17 +0100 |
| commit | 41e3c2ca09f29d443b900c0d3d433be507af3a9b (patch) | |
| tree | d5e33b56a29e6295be4242f8f0b91c5a3557692a /sci-mathematics/z3 | |
| parent | dev-libs/rapidjson: amd64 stable wrt bug #671968 (diff) | |
| download | gentoo-41e3c2ca09f29d443b900c0d3d433be507af3a9b.tar.gz gentoo-41e3c2ca09f29d443b900c0d3d433be507af3a9b.tar.bz2 gentoo-41e3c2ca09f29d443b900c0d3d433be507af3a9b.zip | |
sci-mathematics/z3: Co-maintain (used by clang)
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index 350861622f3d..15735c68e920 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -4,6 +4,9 @@ <maintainer type="person"> <email>gienah@gentoo.org</email> </maintainer> + <maintainer type="person"> + <email>mgorny@gentoo.org</email> + </maintainer> <maintainer type="project"> <email>haskell@gentoo.org</email> <name>Gentoo Haskell</name> |