package.mask: Remove mask from php 7.2 release
authorBrian Evans <grknight@gentoo.org>
Thu, 30 Nov 2017 13:57:10 +0000 (08:57 -0500)
committerBrian Evans <grknight@gentoo.org>
Thu, 30 Nov 2017 16:40:05 +0000 (11:40 -0500)
commit854c546d13701eec2cb9de21ce96821d385878b6
tree0ffd7493e9fac9e9cba061abe2ec2389fe5a3834
parentf65cb1a61d1f1c88dbe54be2c699c5e80d4db901
package.mask: Remove mask from php 7.2 release
profiles/package.mask