diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-02-17 17:37:38 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-17 17:37:38 +0000 |
commit | 95580151e6cfe563d6c0550936c7fd92e24a6acf (patch) | |
tree | d6303b8b93da47cdce9e5f980e29b1f0d4fd83be /dev-ml/ppx_cold/metadata.xml | |
parent | f8deb4f754798d63fb6b82178452ee846df8475f (diff) |
gentoo auto-resync : 17:02:2024 - 17:37:38
Diffstat (limited to 'dev-ml/ppx_cold/metadata.xml')
-rw-r--r-- | dev-ml/ppx_cold/metadata.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-ml/ppx_cold/metadata.xml b/dev-ml/ppx_cold/metadata.xml index 26709c2d01e6..6da21e1a9149 100644 --- a/dev-ml/ppx_cold/metadata.xml +++ b/dev-ml/ppx_cold/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_cold</remote-id> </upstream> |