diff options
Diffstat (limited to 'dev-ml/ppx_here/metadata.xml')
-rw-r--r-- | dev-ml/ppx_here/metadata.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dev-ml/ppx_here/metadata.xml b/dev-ml/ppx_here/metadata.xml index a0a1e80a81bb..439703954af6 100644 --- a/dev-ml/ppx_here/metadata.xml +++ b/dev-ml/ppx_here/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_here</remote-id> </upstream> |