diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
| commit | fcc5224904648a8e6eb528d7603154160a20022f (patch) | |
| tree | 3bfce096b38a9cea8eed13fc70c1526c456e9abd /dev-ml/ppx_base/metadata.xml | |
| parent | 2fd57282f0262ca084e05b0f2c63fbada395d02b (diff) | |
gentoo resync : 02.02.2022
Diffstat (limited to 'dev-ml/ppx_base/metadata.xml')
| -rw-r--r-- | dev-ml/ppx_base/metadata.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/ppx_base/metadata.xml b/dev-ml/ppx_base/metadata.xml index 97b1c5ce5692..4f38a7c36551 100644 --- a/dev-ml/ppx_base/metadata.xml +++ b/dev-ml/ppx_base/metadata.xml @@ -1,6 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <maintainer type="person"> <email>gienah@gentoo.org</email> <name>Mark Wright</name> |