commit: 0f385eadcbc437a3b316e5a0d54b9f3d1ee1d7fc Author: Michael Palimaka <kensington <AT> gentoo <DOT> org> AuthorDate: Sat Mar 18 06:26:50 2017 +0000 Commit: Michael Palimaka <kensington <AT> gentoo <DOT> org> CommitDate: Sat Mar 18 06:26:58 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0f385ead
profiles: drop mask for removed dev-util/weblint profiles/package.mask | 5 ----- 1 file changed, 5 deletions(-) diff --git a/profiles/package.mask b/profiles/package.mask index c8d56b56c18..6cdbba8630d 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -262,11 +262,6 @@ media-fonts/acroread-asianfonts games-puzzle/kiki # Michael Palimaka <[email protected]> (18 Feb 2017) -# Fails at runtime. Dead upstream. Unmaintained. Bug #602008. -# Masked for removal in 30 days. -dev-util/weblint - -# Michael Palimaka <[email protected]> (18 Feb 2017) # Requires a dead and vulnerable webkit-gtk version. Bug #608602. # Masked for removal in 30 days. dev-dotnet/webkit-sharp
