commit: 604cdc02fd7350a46626f36fdfc8a6e1745e98b5
Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 2 23:54:24 2017 +0000
Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Mon Jan 2 23:54:24 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=604cdc02
profiles: mask dev-php/propel{,-runtime,-generator} for removal.
Gentoo-Bug: 604462
profiles/package.mask | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/profiles/package.mask b/profiles/package.mask
index a664f02..62fa33d 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,14 @@
#--- END OF EXAMPLES ---
+# Michael Orlitzky <[email protected]> (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 <[email protected]> (02 Jan 2016)
# Google Code shutdown and change of versioning scheme
# needs 'old' versions masked (v94 -> v1.0.0)
