diff options
Diffstat (limited to 'dev-util/clippy/metadata.xml')
| -rw-r--r-- | dev-util/clippy/metadata.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev-util/clippy/metadata.xml b/dev-util/clippy/metadata.xml index f2546101a536..4432e2729d7d 100644 --- a/dev-util/clippy/metadata.xml +++ b/dev-util/clippy/metadata.xml @@ -1,10 +1,22 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> + <maintainer type="person" proxied="yes"> + <name>Alarig Le Lay</name> + <email>alarig@swordarmor.fr</email> + </maintainer> <maintainer type="person"> <email>jsmolic@gentoo.org</email> <name>Jakov Smolić</name> </maintainer> + <maintainer type="person" proxied="yes"> + <email>jaco@uls.co.za</email> + <name>Jaco Kroon</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> <upstream> <remote-id type="github">FRRouting/frr</remote-id> </upstream> |