commit:     4886ff150823885839e870529f5abe184306e989
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Thu Jul  7 20:52:03 2016 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Thu Jul  7 20:54:47 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4886ff15

dev-util/weblint: Remove last rited package

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

diff --git a/profiles/package.mask b/profiles/package.mask
index 4743446..385ca5b 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 <monsie...@gentoo.org> (2 Jun 2016)
-# Ancient software (1996!). Unmaintained.
-# Masked for removal in 30 days.
-dev-util/weblint
-
 # Michael Palimaka <kensing...@gentoo.org> (26 May 2016)
 # Depends on vulnerable slot of net-libs/webkit-gtk.
 # Dead upstream. Unmaintained. Masked for removal in 30 days.

Reply via email to