From: Tupone Alfredo Date: Sun, 3 Nov 2019 20:40:38 +0000 (+0100) Subject: package.mask: Last rite dev-ada/gnatcoll X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=b6af606210aedc6585eefba8c9014e239882915c;p=gentoo.git package.mask: Last rite dev-ada/gnatcoll Signed-off-by: Alfredo Tupone --- diff --git a/profiles/package.mask b/profiles/package.mask index 87fa6c9e3ef3..1f08542e16eb 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,11 @@ #--- END OF EXAMPLES --- +# Alfredo Tupone (2019-11-03) +# No more needed. Substituted by dev-ada/gnatcoll-core and others +# Removal in 30 days. +dev-ada/gnatcoll + # Thomas Deutschmann (2019-11-03) # Infinite loop in TAILQ_FOREACH_SAFE when running for some time # Bug #698856