Gentoo Archives: gentoo-commits

From: Patrice Clement <monsieurp@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Thu, 02 Jun 2016 20:40:54
Message-Id: 1464898365.73aa615cb899125f4302fcf1c1470f8e80208b48.monsieurp@gentoo
1 commit: 73aa615cb899125f4302fcf1c1470f8e80208b48
2 Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
3 AuthorDate: Thu Jun 2 20:11:46 2016 +0000
4 Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
5 CommitDate: Thu Jun 2 20:12:45 2016 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=73aa615c
7
8 profiles/package.mask: Mask dev-util/weblint for removal.
9
10 profiles/package.mask | 5 +++++
11 1 file changed, 5 insertions(+)
12
13 diff --git a/profiles/package.mask b/profiles/package.mask
14 index 66de04d..00e723a 100644
15 --- a/profiles/package.mask
16 +++ b/profiles/package.mask
17 @@ -31,6 +31,11 @@
18 #--- END OF EXAMPLES ---
19
20 # Patrice Clement <monsieurp@g.o> (2 Jun 2016)
21 +# Ancient software (1996!). Unmaintained.
22 +# Masked for removal in 30 days.
23 +dev-util/weblint
24 +
25 +# Patrice Clement <monsieurp@g.o> (2 Jun 2016)
26 # Dead upstream. No release since 2009.
27 # Masked for removal in 30 days.
28 dev-util/osdt