diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2024-01-17 20:41:25 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2024-01-17 20:41:47 +0100 |
| commit | a05b3f3669a9cd2286d1d79fc13a1e7d5b2239db (patch) | |
| tree | b8ff3a964e35539b702b212fa80212d4ec39349b /dev-lang/mercury | |
| parent | profiles/arch/amd64/no-multilib: unmask app-emulation/winetricks (diff) | |
| download | gentoo-a05b3f3669a9cd2286d1d79fc13a1e7d5b2239db.tar.gz gentoo-a05b3f3669a9cd2286d1d79fc13a1e7d5b2239db.tar.bz2 gentoo-a05b3f3669a9cd2286d1d79fc13a1e7d5b2239db.zip | |
Reassign keri's packages
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-lang/mercury')
| -rw-r--r-- | dev-lang/mercury/metadata.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dev-lang/mercury/metadata.xml b/dev-lang/mercury/metadata.xml index 2b1197df03e1..99628dd871a5 100644 --- a/dev-lang/mercury/metadata.xml +++ b/dev-lang/mercury/metadata.xml @@ -1,10 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>keri@gentoo.org</email> - <name>Keri Harris</name> - </maintainer> + <!-- maintainer-needed --> <use> <flag name="erlang">Support Mercury Erlang grade</flag> <flag name="trail">Support Mercury trail grades</flag> |