From 73aa615cb899125f4302fcf1c1470f8e80208b48 Mon Sep 17 00:00:00 2001
From: Patrice Clement <monsieurp@gentoo.org>
Date: Thu, 2 Jun 2016 20:11:46 +0000
Subject: [PATCH] profiles/package.mask: 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 66de04dbbab1..00e723aece6a 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,11 @@
 
 #--- END OF EXAMPLES ---
 
+# Patrice Clement <monsieurp@gentoo.org> (2 Jun 2016)
+# Ancient software (1996!). Unmaintained.
+# Masked for removal in 30 days.
+dev-util/weblint
+
 # Patrice Clement <monsieurp@gentoo.org> (2 Jun 2016)
 # Dead upstream. No release since 2009.
 # Masked for removal in 30 days.
-- 
2.26.2