diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2020-01-03 17:54:44 +0100 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2020-01-03 17:56:07 +0100 |
| commit | f98c10d051368db0db612d60403381757f966c03 (patch) | |
| tree | 4d1c09ea5307722f07189c67b311db29cce01886 | |
| parent | media-tv/plex-media-server: Remove old versions (diff) | |
| download | gentoo-f98c10d051368db0db612d60403381757f966c03.tar.gz gentoo-f98c10d051368db0db612d60403381757f966c03.tar.bz2 gentoo-f98c10d051368db0db612d60403381757f966c03.zip | |
profiles/package.mask: Mask x11-themes/skinenigmang-logos for removal
This will fix commit 71d9486a905eece63c41329d2ddb30f03efec737
which masked media-plugins/vdr-skinenigmang for removal but forgot about
x11-themes/skinenigmang-logos rdepend.
Bugs: https://bugs.gentoo.org/314315
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index a8ba177c146e..7a14fe5ae94f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -39,6 +39,7 @@ # wrt bug 314315 # removal ~2020-01-31 media-plugins/vdr-skinenigmang +x11-themes/skinenigmang-logos # Jonas Stein <jstein@gentoo.org> (2019-12-30) # Package masked for removal. Broken SRC_URI, |