From: Pacho Ramos <pacho@gentoo.org>
Date: Wed, 30 Aug 2017 18:49:45 +0000 (+0200)
Subject: Remove masked for removal packages
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=5081680b8b8ec5cd72727481816320ebd20583a6;p=gentoo.git

Remove masked for removal packages
---

diff --git a/profiles/package.mask b/profiles/package.mask
index 3de852d472aa..74cd8cf12b5d 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -280,12 +280,6 @@ sys-kernel/openvz-sources
 # Its pre release so better to mask it
 =media-gfx/freecad-0.17_pre*
 
-# Pacho Ramos <pacho@gentoo.org> (26 Jul 2017)
-# Severely broken with lots of unresolved bugs, outdated, needs a dedicated
-# maintainer (#402157). Removal in a month.
-dev-lang/gnat-gcc
-virtual/gnat
-
 # Pacho Ramos <pacho@gentoo.org> (26 Jul 2017)
 # Upstream dead, cannot be bumped, buggy (#468128). Removal in a month.
 x11-apps/spotlighter