From: Michael Orlitzky <mjo@gentoo.org>
Date: Mon, 2 Jan 2017 23:54:24 +0000 (-0500)
Subject: profiles: mask dev-php/propel{,-runtime,-generator} for removal.
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=604cdc02fd7350a46626f36fdfc8a6e1745e98b5;p=gentoo.git

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

Gentoo-Bug: 604462
---

diff --git a/profiles/package.mask b/profiles/package.mask
index a664f02dcba6..62fa33d581b1 100644
--- 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)