From b6af606210aedc6585eefba8c9014e239882915c Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Sun, 3 Nov 2019 21:40:38 +0100 Subject: [PATCH] package.mask: Last rite dev-ada/gnatcoll Signed-off-by: Alfredo Tupone --- profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.26.2