diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-12-11 14:13:38 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-12-11 14:15:55 +0100 |
| commit | 59249d5958f4adbcf242811345e2f3b08c27a31a (patch) | |
| tree | c097af05316fcb5342b437397bdba7f6f2a8ba06 /profiles | |
| parent | media-plugins/vdr-image: Remove last-rited pkg (diff) | |
| download | gentoo-59249d5958f4adbcf242811345e2f3b08c27a31a.tar.gz gentoo-59249d5958f4adbcf242811345e2f3b08c27a31a.tar.bz2 gentoo-59249d5958f4adbcf242811345e2f3b08c27a31a.zip | |
dev-python/jenkins-webapi: Remove last-rited pkg
Closes: https://bugs.gentoo.org/666130
Signed-off-by: Michał Górny <mgorny@gentoo.org>
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 c89ce39d54c7..d69f65773e52 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -267,10 +267,6 @@ sys-fs/devfsd # Merged into >=media-tv/mythtv-29, bug #665924. Removal in a month. media-plugins/mythplugins -# Pacho Ramos <pacho@gentoo.org> (11 Nov 2018) -# No reverse deps, obsoleted in 2016 (#666130). Removal in a month. -dev-python/jenkins-webapi - # Mike Gilbert <floppym@gentoo.org> (10 Nov 2018) # Open bugs and no Gentoo maintainer. # Removal in 30 days. |