profiles: drop the mask for removed dev-php/propel* packages.
authorMichael Orlitzky <mjo@gentoo.org>
Fri, 3 Feb 2017 13:27:06 +0000 (08:27 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Fri, 3 Feb 2017 13:27:06 +0000 (08:27 -0500)
commitfe0824f48a86270c40851d1afdf28d113733f2a8
treead17ca486d46858be73b772870770b3721ae1d12
parenteebefb4c9aef5998338525dde9fab33f2d5c2a95
profiles: drop the mask for removed dev-php/propel* packages.

Gentoo-Bug: 604462
profiles/package.mask