commit:     fe0824f48a86270c40851d1afdf28d113733f2a8
Author:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Fri Feb  3 13:27:06 2017 +0000
Commit:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Fri Feb  3 13:27:06 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fe0824f4

profiles: drop the mask for removed dev-php/propel* packages.

Gentoo-Bug: 604462

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

diff --git a/profiles/package.mask b/profiles/package.mask
index 50f68a2..b5a8435 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 <m...@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 <z...@gentoo.org> (02 Jan 2017)
 # Google Code shutdown and change of versioning scheme
 # needs 'old' versions masked (v94 -> v1.0.0)

Reply via email to