diff options
Diffstat (limited to 'profiles/base')
| -rw-r--r-- | profiles/base/use.stable.mask | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/profiles/base/use.stable.mask b/profiles/base/use.stable.mask index 17e9d945a7fa..242a34b3fe1c 100644 --- a/profiles/base/use.stable.mask +++ b/profiles/base/use.stable.mask @@ -8,10 +8,6 @@ # Needs dev-lang/php:7.2 stable php_targets_php7-2 -# Brian Evans <grknight@gentoo.org> (06 Dec 2016) -# Needs dev-lang/php:7.1 stable -php_targets_php7-1 - # Zac Medico <zmedico@gentoo.org> (01 Sep 2016) # Needs virtual/pypy* stable python_targets_pypy |