From: Michael Palimaka <kensington@gentoo.org>
Date: Sat, 18 Feb 2017 05:48:35 +0000 (+1100)
Subject: profiles: mask dev-util/weblint for removal
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=3fb4dd9bda8d561a9d9750bc0ca8797a8e5ede28;p=gentoo.git

profiles: mask dev-util/weblint for removal
---

diff --git a/profiles/package.mask b/profiles/package.mask
index 2fad1bec77cf..45de65889cf2 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,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.