opendev/gerrit
Code Issues Proposed changes

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

Browse Source 
We should probably upgrade to 9.x at some point.
9.x doesn't implement the Servlet API 3.1,
but rather 4.0: http://tomcat.apache.org/whichversion

Change-Id: I5e20a17a9a0b22fd2b9a41710684ccb2f0d63f09
This commit is contained in:
Paladox none 2017-11-19 22:52:51 +00:00
parent 58a9414b26
commit 1ab5b7209f
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"