diff options
Diffstat (limited to 'profiles/package.mask')
-rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 007767118990..540b022449ee 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -422,7 +422,6 @@ dev-java/jlayer # multiple open sec bugs. no response from upstream # Masked for removal in 30 days media-libs/ming -dev-php/ming-php # Miroslav Ć ulc <fordfrog@gentoo.org> (2019-07-30) # Depends on >=virtual/{jdk,jre}-11 which is masked |