summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-02-17 16:24:38 +0100
committerAlfredo Tupone <tupone@gentoo.org>2024-02-17 16:24:38 +0100
commit0a217af7193c83de9b034f9b3a091e2573c4c7b6 (patch)
treed9d31299c0d14bea989f5c61d73d3033364f039d /dev-ml
parentdev-ml/ppx_cold: update maintainers (diff)
downloadgentoo-0a217af7193c83de9b034f9b3a091e2573c4c7b6.tar.gz
gentoo-0a217af7193c83de9b034f9b3a091e2573c4c7b6.tar.bz2
gentoo-0a217af7193c83de9b034f9b3a091e2573c4c7b6.zip
dev-ml/ppx_fixed_literal: update maintainers
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/ppx_fixed_literal/metadata.xml5
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-ml/ppx_fixed_literal/metadata.xml b/dev-ml/ppx_fixed_literal/metadata.xml
index 14fe34433d9b..f5246bd514db 100644
--- a/dev-ml/ppx_fixed_literal/metadata.xml
+++ b/dev-ml/ppx_fixed_literal/metadata.xml
@@ -1,7 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
<upstream>
<remote-id type="github">janestreet/ppx_fixed_literal</remote-id>
</upstream>