diff options
| author |   Miroslav Šulc <fordfrog@gentoo.org> | 2019-05-15 11:59:17 +0200 |
|---|---|---|
| committer | Miroslav Šulc <fordfrog@gentoo.org> | 2019-05-15 12:01:09 +0200 |
| commit | 07c26c06f3ae2deed7ec8350a595f2e6f3a03433 (patch) | |
| tree | 4b7a30169dd5a31363ececc8b7d8f5ef6734df33 | |
| parent | dev-java/tomcat-servlet-api-9.0.20: bump (diff) | |
| download | gentoo-07c26c06f3ae2deed7ec8350a595f2e6f3a03433.tar.gz gentoo-07c26c06f3ae2deed7ec8350a595f2e6f3a03433.tar.bz2 gentoo-07c26c06f3ae2deed7ec8350a595f2e6f3a03433.zip | |
profiles/package.mask: updated tomcat:9 mask
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
| -rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 95a56a953fc6..a0d5b6e072e6 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,10 @@ #--- END OF EXAMPLES --- +# Miroslav Šulc <fordfrog@gentoo.org> (15 May 2019) +# Depends on >=virtual/{jdk,jre}-11 which is masked +=www-servers/tomcat-9.0.20 + # Brian Evans <grknight@gentoo.org> (14 May 2019) # MariaDB 10.0 has reached end of life and has security issues # dev-db/mariadb-galera users should upgrade to mariadb-10.1 or greater |