summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2020-10-13 17:45:31 +1100
committerMark Wright <gienah@gentoo.org>2020-10-13 23:53:40 +1100
commit70c5a9e0cfe314a459ec22985cf0687d52937baf (patch)
tree23d87d6299fe161904b786513f606c5066324293 /dev-ml/ppx_optional/metadata.xml
parentdev-ml/ppx_optcomp: Bump to 0.14.0 (diff)
downloadgentoo-70c5a9e0cfe314a459ec22985cf0687d52937baf.tar.gz
gentoo-70c5a9e0cfe314a459ec22985cf0687d52937baf.tar.bz2
gentoo-70c5a9e0cfe314a459ec22985cf0687d52937baf.zip
dev-ml/ppx_optional: Bump to 0.14.0
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_optional/metadata.xml')
-rw-r--r--dev-ml/ppx_optional/metadata.xml5
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-ml/ppx_optional/metadata.xml b/dev-ml/ppx_optional/metadata.xml
index aa510eb3b023..8a58c771030e 100644
--- a/dev-ml/ppx_optional/metadata.xml
+++ b/dev-ml/ppx_optional/metadata.xml
@@ -1,7 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>gienah@gentoo.org</email>
+ <name>Mark Wright</name>
+ </maintainer>
<upstream>
<remote-id type="github">janestreet/ppx_optional</remote-id>
</upstream>