diff options
-rw-r--r-- | profiles/base/use.mask | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/profiles/base/use.mask b/profiles/base/use.mask index b35a30ebccb7..0d78cc0838b6 100644 --- a/profiles/base/use.mask +++ b/profiles/base/use.mask @@ -1,9 +1,13 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. +# Brian Evans <grknight@gentoo.org> (10 Aug 2018) +# Mask PHP 7.3 target while in beta +php_targets_php7-3 + # Andreas Sturmlechner <asturm@gentoo.org> (10 May 2018) # media-sound/mumble is masked/not keyworded at this point, bug #656826. mumble |