commit: 3fb4dd9bda8d561a9d9750bc0ca8797a8e5ede28 Author: Michael Palimaka <kensington <AT> gentoo <DOT> org> AuthorDate: Sat Feb 18 05:48:35 2017 +0000 Commit: Michael Palimaka <kensington <AT> gentoo <DOT> org> CommitDate: Sat Feb 18 05:49:16 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3fb4dd9b
profiles: mask dev-util/weblint for removal profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index 2fad1bec77..45de65889c 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -31,6 +31,11 @@ #--- END OF EXAMPLES --- # Michael Palimaka <kensing...@gentoo.org> (18 Feb 2017) +# Fails at runtime. Dead upstream. Unmaintained. Bug #602008. +# Masked for removal in 30 days. +dev-util/weblint + +# Michael Palimaka <kensing...@gentoo.org> (18 Feb 2017) # Requires a dead and vulnerable webkit-gtk version. Bug #608602. # Masked for removal in 30 days. dev-dotnet/webkit-sharp
