summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2019-12-13 15:16:40 +0100
committerMichał Górny <mgorny@gentoo.org>2019-12-13 16:24:05 +0100
commit8d5bf2b8f5b47e8de24fd53b9b930008df5e3582 (patch)
treea4ea8114b76fe106d5ce87b1e95e46ac57384c98 /dev-ml/ppx_optcomp
parentpackage.mask: Last rite first set of no-revdep dev-ml/* packages (diff)
downloadgentoo-8d5bf2b8f5b47e8de24fd53b9b930008df5e3582.tar.gz
gentoo-8d5bf2b8f5b47e8de24fd53b9b930008df5e3582.tar.bz2
gentoo-8d5bf2b8f5b47e8de24fd53b9b930008df5e3582.zip
*/*: Remove ml@ from packages maintainers
Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_optcomp')
-rw-r--r--dev-ml/ppx_optcomp/metadata.xml7
1 files changed, 2 insertions, 5 deletions
diff --git a/dev-ml/ppx_optcomp/metadata.xml b/dev-ml/ppx_optcomp/metadata.xml
index 0567d88d5830..f45619ffca46 100644
--- a/dev-ml/ppx_optcomp/metadata.xml
+++ b/dev-ml/ppx_optcomp/metadata.xml
@@ -1,10 +1,7 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
- </maintainer>
+ <!-- maintainer-needed -->
<upstream>
<remote-id type="github">janestreet/ppx_optcomp</remote-id>
</upstream>