profiles: mask dev-php/propel{,-runtime,-generator} for removal.

Gentoo-Bug: 604462

diff --git a/profiles/package.mask b/profiles/package.mask
index a664f02dcba61d7fb62da5e3df51064229be7c85..62fa33d581b10ab4cd9380c73cf264fc22ccaa62 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,14 @@
 
 #--- END OF EXAMPLES ---
 
+# 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 2016)
 # Google Code shutdown and change of versioning scheme
 # needs 'old' versions masked (v94 -> v1.0.0)