diff options
author | Michael Orlitzky <mjo@gentoo.org> | 2017-01-02 18:54:24 -0500 |
---|---|---|
committer | Michael Orlitzky <mjo@gentoo.org> | 2017-01-02 18:54:24 -0500 |
commit | 604cdc02fd7350a46626f36fdfc8a6e1745e98b5 (patch) | |
tree | a08bf3f9619f4b2e2052ff9b70fe9d1559429e35 /profiles | |
parent | 55597529e0aeea92cd4b5c6e9b895ae87750a428 (diff) | |
download | gentoo-604cdc02fd7350a46626f36fdfc8a6e1745e98b5.tar.gz gentoo-604cdc02fd7350a46626f36fdfc8a6e1745e98b5.tar.xz |
profiles: mask dev-php/propel{,-runtime,-generator} for removal.
Gentoo-Bug: 604462
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index a664f02dcba..62fa33d581b 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) |