profiles: drop mask for removed dev-util/weblint

diff --git a/profiles/package.mask b/profiles/package.mask
index c8d56b56c18386ed16569ca5e6434d19280cc761..6cdbba8630dc6f9a4b57431702be62b09997ae2d 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -261,11 +261,6 @@ media-fonts/acroread-asianfonts
 # Masked for removal in 30 days
 games-puzzle/kiki
 
-# 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.