opendev/gerrit
Code Issues Proposed changes

Merge "Update org.apache.tomcat:tomcat-servlet-api to 8.5.23"

Browse Source
This commit is contained in:
David Pursehouse 2017-11-20 23:38:28 +00:00 committed by Gerrit Code Review
commit 2e6901920e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
WORKSPACE
View File

@ -100,8 +100,8 @@ maven_jar(
maven_jar(
name = "servlet_api_3_1",
artifact = "org.apache.tomcat:tomcat-servlet-api:8.0.24",
sha1 = "5d9e2e895e3111622720157d0aa540066d5fce3a",
artifact = "org.apache.tomcat:tomcat-servlet-api:8.5.23",
sha1 = "021a212688ec94fe77aff74ab34cc74f6f940e60",
)
GWT_VERS = "2.8.2"