diff options
author | Brian Evans <grknight@gentoo.org> | 2017-07-21 16:20:09 -0400 |
---|---|---|
committer | Brian Evans <grknight@gentoo.org> | 2017-07-21 16:22:35 -0400 |
commit | d48e64abc094806ccffe36093af1362aa29ca6f6 (patch) | |
tree | 2faefd0227fb8392f806b2fbddeffaf5eef56beb /profiles | |
parent | dev-lang/php: New version 7.2.0_beta1 (diff) | |
download | gentoo-d48e64abc094806ccffe36093af1362aa29ca6f6.tar.gz gentoo-d48e64abc094806ccffe36093af1362aa29ca6f6.tar.bz2 gentoo-d48e64abc094806ccffe36093af1362aa29ca6f6.zip |
package.mask: Mask PHP 7.2 beta for early testing
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 9de00afdc9d9..35b6ff1d523e 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,11 @@ #--- END OF EXAMPLES --- +# Brian Evans <grknight@gentoo.org> (21 Jul 2017) +# Mask initial beta of PHP 7.2 for further testing +>=dev-lang/php-7.2.0_beta1 +=virtual/httpd-php-7.2 + # Mikhail Pukhlikov <cynede@gentoo.org> (20 Jul 2017) # Old mono/dotnet packages (used on GNOME2 stack) # also some deprecated forks used for monodevelop |