From: Michael Palimaka <kensington@gentoo.org>
Date: Sat, 18 Mar 2017 06:26:50 +0000 (+1100)
Subject: profiles: drop mask for removed dev-util/weblint
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=0f385eadcbc437a3b316e5a0d54b9f3d1ee1d7fc;p=gentoo.git

profiles: drop mask for removed dev-util/weblint
---

diff --git a/profiles/package.mask b/profiles/package.mask
index c8d56b56c183..6cdbba8630dc 100644
--- 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.