summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Orlitzky <mjo@gentoo.org>2017-02-03 08:27:06 -0500
committerMichael Orlitzky <mjo@gentoo.org>2017-02-03 08:27:06 -0500
commitfe0824f48a86270c40851d1afdf28d113733f2a8 (patch)
treead17ca486d46858be73b772870770b3721ae1d12 /profiles/package.mask
parentdev-php/propel: remove masked package. (diff)
downloadgentoo-fe0824f48a86270c40851d1afdf28d113733f2a8.tar.gz
gentoo-fe0824f48a86270c40851d1afdf28d113733f2a8.tar.bz2
gentoo-fe0824f48a86270c40851d1afdf28d113733f2a8.zip
profiles: drop the mask for removed dev-php/propel* packages.
Gentoo-Bug: 604462
Diffstat (limited to 'profiles/package.mask')
-rw-r--r--profiles/package.mask8
1 files changed, 0 insertions, 8 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 50f68a239b68..b5a84355aa9f 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -426,14 +426,6 @@ x11-libs/gtk+:1
=app-emulation/ganeti-2.16*
=app-emulation/ganeti-2.17*
-# Michael Orlitzky <mjo@gentoo.org> (02 Jan 2017)
-# Ancient versions long forgotten by upstream, and
-# now experiencing build problems. Masked for removal
-# in 30 days. Bug 604462.
-dev-php/propel
-dev-php/propel-generator
-dev-php/propel-runtime
-
# Daniel Campbell <zlg@gentoo.org> (02 Jan 2017)
# Google Code shutdown and change of versioning scheme
# needs 'old' versions masked (v94 -> v1.0.0)