diff options
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 |