diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-12-04 14:40:54 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-12-04 14:40:54 +0100 |
| commit | 1e7087a2bac91c5b30dfc576dc7543268fff0ef9 (patch) | |
| tree | dc0ad7dcac4778736198dab439fb2f9fdb0a9f96 /profiles/package.mask | |
| parent | net-nntp/inn: Remove last-rited pkg (diff) | |
| download | gentoo-1e7087a2bac91c5b30dfc576dc7543268fff0ef9.tar.gz gentoo-1e7087a2bac91c5b30dfc576dc7543268fff0ef9.tar.bz2 gentoo-1e7087a2bac91c5b30dfc576dc7543268fff0ef9.zip | |
app-accessibility/pocketsphinx: Remove last-rited pkg
Closes: https://bugs.gentoo.org/610434
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles/package.mask')
| -rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 4ccc565cb81a..cb0a5d1774c7 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -409,12 +409,6 @@ media-gfx/gimmage # working for some time (#602938). Removal in a month. media-libs/schroedinger - -# Pacho Ramos <pacho@gentoo.org> (04 Nov 2018) -# Needs someone to maintain it and bump to a snapshot not relying on -# gstreamer:0.10 (#610434, #560254). Removal in a month. -app-accessibility/pocketsphinx - # Andreas Sturmlechner <asturm@gentoo.org> (03 Nov 2018) # Breaks revdeps (GDir and GDirEntry split from gfile.h into new gdir.h) # See tracker: https://bugs.gentoo.org/670222 |