diff options
author | Michał Górny <mgorny@gentoo.org> | 2018-07-28 13:56:25 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2018-07-28 13:58:41 +0200 |
commit | b7b9c071e5f3f15601048dd84ea1c580bd2707be (patch) | |
tree | 4e3e6e606f7f5914bba29db4e5854a8baa7286b7 /profiles | |
parent | sys-boot/getdvhoff: Remove last-rited pkg (diff) | |
download | gentoo-b7b9c071e5f3f15601048dd84ea1c580bd2707be.tar.gz gentoo-b7b9c071e5f3f15601048dd84ea1c580bd2707be.tar.bz2 gentoo-b7b9c071e5f3f15601048dd84ea1c580bd2707be.zip |
net-libs/libwhisker: Remove last-rited pkg
Closes: https://bugs.gentoo.org/652186
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index acd468658035..7f64930c5276 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -281,10 +281,6 @@ app-doc/mkdoxy # Doesn't run, cannot bump it (#651146). Removal in a month. games-emulation/hatari -# Pacho Ramos <pacho@gentoo.org> (17 Jun 2018) -# Dead lib not used by anything in the tree (#652186). Removal in a month. -net-libs/libwhisker - # Mart Raudsepp <leio@gentoo.org> (16 Jun 2018) # No upstream (website disappeared), no upstream plugin maintainer, # and pretty much a fringe format anyway. |