diff options
Diffstat (limited to 'app-shells/push/metadata.xml')
| -rw-r--r-- | app-shells/push/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app-shells/push/metadata.xml b/app-shells/push/metadata.xml index b0c79a53845a..537b5d65d169 100644 --- a/app-shells/push/metadata.xml +++ b/app-shells/push/metadata.xml @@ -5,7 +5,7 @@ <email>mgorny@gentoo.org</email> <name>Michał Górny</name> </maintainer> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>martin@mvath.de</email> <name>Martin Väth</name> <description>Upstream developer, CC on bugs, do not copy ebuilds |