diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-10-11 00:24:30 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-10-11 00:24:30 +0000 |
commit | 5bbfa74a646b895306b22036206e5b761d051bf0 (patch) | |
tree | 096252e7907e3d76c96f5d267d7b9919088f76ff /metadata/projects.xml | |
parent | Merge updates from master (diff) | |
download | gentoo-5bbfa74a646b895306b22036206e5b761d051bf0.tar.gz gentoo-5bbfa74a646b895306b22036206e5b761d051bf0.tar.bz2 gentoo-5bbfa74a646b895306b22036206e5b761d051bf0.zip |
2018-10-11 00:24:29 UTC
Diffstat (limited to 'metadata/projects.xml')
-rw-r--r-- | metadata/projects.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/metadata/projects.xml b/metadata/projects.xml index 5821c98b8c66..f4a9e6db0398 100644 --- a/metadata/projects.xml +++ b/metadata/projects.xml @@ -3835,6 +3835,11 @@ developers and volunteer mentors.</description> <name>Pacho Ramos</name> <role>Member</role> </member> + <member> + <email>vdupras@gentoo.org</email> + <name>Virgil Dupras</name> + <role>Member</role> + </member> </project> <project> <email>udev-bugs@gentoo.org</email> |