From 588489c7687771b6d792c0b1ba0bcfb10da0004d Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Sun, 3 Nov 2019 14:31:54 +0000 Subject: [PATCH] package.mask: Remove obsolete entries 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 a58a96cbad60..a7ba23aa8211 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,11 @@ #--- END OF EXAMPLES --- +# Alfredo Tupone (2019-11-03) +# The binary for gps are included in dev-ada/gnat-suite-bin +# Removal in 30 days. +dev-ada/gps-bin + # Michał Górny (2019-11-01) # Both make no sense with dev-embedded/gnap removed. # Removal in 14 days. Bug #699072. -- 2.26.2