| Summary: | media-sound/hearnet: removal | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Michał Górny <mgorny> |
| Component: | Current packages | Assignee: | Gentoo Sound Team <sound> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | treecleaner |
| Priority: | Normal | Keywords: | PMASKED |
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Deadline: | 2019-10-08 | ||
|
Description
Michał Górny
2019-09-08 16:20:50 UTC
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfa13e8f6408b0b6c764480336a0fb4007fa0781 commit cfa13e8f6408b0b6c764480336a0fb4007fa0781 Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2019-09-08 16:21:19 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2019-09-08 16:37:42 +0000 package.mask: Last rite media-sound/hearnet Bug: https://bugs.gentoo.org/693800 Signed-off-by: Michał Górny <mgorny@gentoo.org> profiles/package.mask | 6 ++++++ 1 file changed, 6 insertions(+) The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06c6d2f103bdcc6b55adf4a16fefb15e9f2d9dbc commit 06c6d2f103bdcc6b55adf4a16fefb15e9f2d9dbc Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2019-10-08 18:31:51 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2019-10-08 18:31:51 +0000 media-sound/hearnet: Remove last-rited pkg Closes: https://bugs.gentoo.org/693800 Signed-off-by: Michał Górny <mgorny@gentoo.org> media-sound/hearnet/Manifest | 1 - media-sound/hearnet/hearnet-0.0.9.ebuild | 33 -------------------------------- media-sound/hearnet/metadata.xml | 8 -------- profiles/package.mask | 6 ------ 4 files changed, 48 deletions(-) |