diff options
Diffstat (limited to 'profiles/package.mask')
| -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 3bcf29391236..4ccc565cb81a 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -415,10 +415,6 @@ media-libs/schroedinger # gstreamer:0.10 (#610434, #560254). Removal in a month. app-accessibility/pocketsphinx -# Pacho Ramos <pacho@gentoo.org> (04 Nov 2018) -# Fails to build, hard to bump (#608908). Removal in a month. -net-nntp/inn - # 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 |