From bfd2150a89a1cc25dd780ec808ed1e795d1d6280 Mon Sep 17 00:00:00 2001
From: David Seifert <soap@gentoo.org>
Date: Sun, 19 Feb 2017 16:37:07 +0100
Subject: dev-ml/ocamlgsl: Remove from tree

---
 profiles/package.mask | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'profiles')

diff --git a/profiles/package.mask b/profiles/package.mask
index 65937a4a4194..a8c1d7d21445 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -490,11 +490,6 @@ x11-themes/nitrogen
 x11-themes/skulpture
 x11-themes/smaragd
 
-# David Seifert <soap@gentoo.org> (18 Jan 2017)
-# Dead upstream, spiritual successor is dev-ml/gsl-ocaml
-# Masked for removal in 30 days. Bug #574564, #593248, #601912.
-dev-ml/ocamlgsl
-
 # Yixun Lan <dlan@gentoo.org> (16 Jan 2017)
 # Masked, Vulnerable due to RGW Denial of Service (bug #598206)
 # We mask it instead of removing them, due user may need them while
-- 
cgit v1.2.3-65-gdbad