diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-08-15 06:04:55 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-08-15 06:04:55 +0000 |
commit | 233077ec601208521c072556877fb9ba5396b0a9 (patch) | |
tree | b8f315bc279a610110d0b2aaaf8c1b571aae8735 /metadata/projects.xml | |
parent | Merge updates from master (diff) | |
download | gentoo-233077ec601208521c072556877fb9ba5396b0a9.tar.gz gentoo-233077ec601208521c072556877fb9ba5396b0a9.tar.bz2 gentoo-233077ec601208521c072556877fb9ba5396b0a9.zip |
2018-08-15 06:04:54 UTC
Diffstat (limited to 'metadata/projects.xml')
-rw-r--r-- | metadata/projects.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/metadata/projects.xml b/metadata/projects.xml index 8f189969901c..de5bcc73bc43 100644 --- a/metadata/projects.xml +++ b/metadata/projects.xml @@ -648,6 +648,10 @@ <name>Pacho Ramos</name> </member> <member> + <email>polynomial-c@gentoo.org</email> + <name>Lars Wendler</name> + </member> + <member is-lead="1"> <email>zlogene@gentoo.org</email> <name>Mikle Kolyada</name> </member> |