diff options
| author | Michael Orlitzky <mjo@gentoo.org> | 2017-02-03 08:27:06 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2017-02-03 08:27:06 -0500 |
| commit | fe0824f48a86270c40851d1afdf28d113733f2a8 (patch) | |
| tree | ad17ca486d46858be73b772870770b3721ae1d12 /profiles | |
| parent | eebefb4c9aef5998338525dde9fab33f2d5c2a95 (diff) | |
| download | gentoo-fe0824f48a86270c40851d1afdf28d113733f2a8.tar.gz gentoo-fe0824f48a86270c40851d1afdf28d113733f2a8.tar.xz | |
profiles: drop the mask for removed dev-php/propel* packages.
Gentoo-Bug: 604462
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 50f68a239b6..b5a84355aa9 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 <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 2017) # Google Code shutdown and change of versioning scheme # needs 'old' versions masked (v94 -> v1.0.0) |