From 3fb4dd9bda8d561a9d9750bc0ca8797a8e5ede28 Mon Sep 17 00:00:00 2001
From: Michael Palimaka <kensington@gentoo.org>
Date: Sat, 18 Feb 2017 16:48:35 +1100
Subject: [PATCH] profiles: mask dev-util/weblint for removal

---
 profiles/package.mask | 5 +++++
 1 file changed, 5 insertions(+)

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.
-- 
2.26.2