Gentoo Archives: gentoo-commits

From:	Alfredo Tupone <tupone@g.o>
To:	gentoo-commits@l.g.o
Subject:	[gentoo-commits] repo/gentoo:master commit in: profiles/
Date:	Sun, 03 Nov 2019 20:42:17
Message-Id:	`1572813720.b6af606210aedc6585eefba8c9014e239882915c.tupone@gentoo`

1	commit: b6af606210aedc6585eefba8c9014e239882915c
2	Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
3	AuthorDate: Sun Nov 3 20:40:38 2019 +0000
4	Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5	CommitDate: Sun Nov 3 20:42:00 2019 +0000
6	URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b6af6062
7
8	package.mask: Last rite dev-ada/gnatcoll
9
10	Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
11
12	profiles/package.mask \| 5 +++++
13	1 file changed, 5 insertions(+)
14
15	diff --git a/profiles/package.mask b/profiles/package.mask
16	index 87fa6c9e3ef..1f08542e16e 100644
17	--- a/profiles/package.mask
18	+++ b/profiles/package.mask
19	@@ -29,6 +29,11 @@
20
21	#--- END OF EXAMPLES ---
22
23	+# Alfredo Tupone <tupone@g.o> (2019-11-03)
24	+# No more needed. Substituted by dev-ada/gnatcoll-core and others
25	+# Removal in 30 days.
26	+dev-ada/gnatcoll
27	+
28	# Thomas Deutschmann <whissi@g.o> (2019-11-03)
29	# Infinite loop in TAILQ_FOREACH_SAFE when running for some time
30	# Bug #698856