Gentoo Archives: gentoo-commits

From: "Michał Górny" <mgorny@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Sun, 01 Dec 2019 21:00:35
Message-Id: 1575233995.2eebd1079c75dd21175bff35c33c462658331400.mgorny@gentoo
1 commit: 2eebd1079c75dd21175bff35c33c462658331400
2 Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
3 AuthorDate: Sun Dec 1 20:31:36 2019 +0000
4 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
5 CommitDate: Sun Dec 1 20:59:55 2019 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2eebd107
7
8 package.mask: Last rite media-plugins/vdr-music
9
10 Bug: https://bugs.gentoo.org/314309
11 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
12
13 profiles/package.mask | 6 ++++++
14 1 file changed, 6 insertions(+)
15
16 diff --git a/profiles/package.mask b/profiles/package.mask
17 index b8f1ccc2017..c7141c6840b 100644
18 --- a/profiles/package.mask
19 +++ b/profiles/package.mask
20 @@ -29,6 +29,12 @@
21
22 #--- END OF EXAMPLES ---
23
24 +# Michał Górny <mgorny@g.o> (2019-12-01)
25 +# The plugin is broken with multiple dependencies. It is also dead
26 +# upstream. Removing per maintainer's request.
27 +# Removal in 30 days. Bug #314309.
28 +media-plugins/vdr-music
29 +
30 # Michał Górny <mgorny@g.o> (2019-12-01)
31 # Unresolved vulnerability. Also apparently fails to build (#574048).
32 # Removal in 30 days. Bug #463338.