diff options
author | Michael Palimaka <kensington@gentoo.org> | 2017-02-18 16:48:35 +1100 |
---|---|---|
committer | Michael Palimaka <kensington@gentoo.org> | 2017-02-18 16:49:16 +1100 |
commit | 3fb4dd9bda8d561a9d9750bc0ca8797a8e5ede28 (patch) | |
tree | 17565c51f3b176ffcbfeab6a9fce5d09f53c5269 | |
parent | app-arch/lzip: arm stable, bug #604514 (diff) | |
download | gentoo-3fb4dd9bda8d561a9d9750bc0ca8797a8e5ede28.tar.gz gentoo-3fb4dd9bda8d561a9d9750bc0ca8797a8e5ede28.tar.bz2 gentoo-3fb4dd9bda8d561a9d9750bc0ca8797a8e5ede28.zip |
profiles: mask dev-util/weblint for removal
-rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 2fad1bec77cf..45de65889cf2 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -31,6 +31,11 @@ #--- END OF EXAMPLES --- # Michael Palimaka <kensington@gentoo.org> (18 Feb 2017) +# Fails at runtime. Dead upstream. Unmaintained. Bug #602008. +# Masked for removal in 30 days. +dev-util/weblint + +# Michael Palimaka <kensington@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 |