profiles/package.mask: updated tomcat:9 mask

Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>

diff --git a/profiles/package.mask b/profiles/package.mask
index 95a56a953fc607b8c8654078aa9e36fb76450e1b..a0d5b6e072e69dd21646d2e302d85d9ae30b5c58 100644 (file)
--- 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