profiles: mask dev-util/weblint for removal

diff --git a/profiles/package.mask b/profiles/package.mask
index 2fad1bec77cf9e076d44adf1460a761ee03b8ba1..45de65889cf2058ffb598f589a76323565ac9437 100644 (file)
--- 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.