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_bin_prot/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_bin_prot/metadata.xml')
| -rw-r--r-- | dev-ml/ppx_bin_prot/metadata.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dev-ml/ppx_bin_prot/metadata.xml b/dev-ml/ppx_bin_prot/metadata.xml index bfb86fe4c85e..485d3a8751ca 100644 --- a/dev-ml/ppx_bin_prot/metadata.xml +++ b/dev-ml/ppx_bin_prot/metadata.xml @@ -5,10 +5,6 @@ <email>ml@gentoo.org</email> <name>ML</name> </maintainer> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> <upstream> <remote-id type="github">janestreet/ppx_bin_prot</remote-id> </upstream> |