From: Michał Górny Date: Thu, 7 Jul 2016 20:52:03 +0000 (+0200) Subject: dev-util/weblint: Remove last rited package X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=4886ff150823885839e870529f5abe184306e989;p=gentoo.git dev-util/weblint: Remove last rited package --- diff --git a/profiles/package.mask b/profiles/package.mask index 4743446e1a13..385ca5b1f899 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -315,11 +315,6 @@ dev-util/ftncheck # Masked for removal in 30 days. dev-ruby/gherkin3 -# Patrice Clement (2 Jun 2016) -# Ancient software (1996!). Unmaintained. -# Masked for removal in 30 days. -dev-util/weblint - # Michael Palimaka (26 May 2016) # Depends on vulnerable slot of net-libs/webkit-gtk. # Dead upstream. Unmaintained. Masked for removal in 30 days.