diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2024-02-14 10:15:33 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2024-02-14 10:50:24 +0100 |
| commit | 32f11445825c86872cee8d1c18e7e86cdf4cc35a (patch) | |
| tree | 3e80819bc3696a022b35284e49d3fe3dfafa5e3a /dev-ml/ppx_stable/metadata.xml | |
| parent | */*: Reassign nativemad's packages (diff) | |
| download | gentoo-32f11445825c86872cee8d1c18e7e86cdf4cc35a.tar.gz gentoo-32f11445825c86872cee8d1c18e7e86cdf4cc35a.tar.bz2 gentoo-32f11445825c86872cee8d1c18e7e86cdf4cc35a.zip | |
*/*: Reassign gienah's packages
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_stable/metadata.xml')
| -rw-r--r-- | dev-ml/ppx_stable/metadata.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dev-ml/ppx_stable/metadata.xml b/dev-ml/ppx_stable/metadata.xml index 7807fdf468bc..885eef21d107 100644 --- a/dev-ml/ppx_stable/metadata.xml +++ b/dev-ml/ppx_stable/metadata.xml @@ -1,10 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> + <!-- maintainer-needed --> <upstream> <remote-id type="github">janestreet/ppx_stable</remote-id> </upstream> |