opendev/gerrit
Code Issues Proposed changes

Update servlet API to 8.0.24

Browse Source 
Change-Id: I66045546d71d83449ea363192c6355739e268c75
This commit is contained in:
David Pursehouse
2015-07-28 18:39:49 +09:00
parent d6ab35e92a
commit d1b180110c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lib/BUCK
View File

@@ -85,8 +85,8 @@ maven_jar(
maven_jar( maven_jar(
name = 'servlet-api-3_1', name = 'servlet-api-3_1',
id = 'org.apache.tomcat:tomcat-servlet-api:8.0.5', id = 'org.apache.tomcat:tomcat-servlet-api:8.0.24',
sha1 = '9ef01afc25481b82aa8f3615db536869f2dc961e', sha1 = '5d9e2e895e3111622720157d0aa540066d5fce3a',
license = 'Apache2.0', license = 'Apache2.0',
exclude = ['META-INF/NOTICE', 'META-INF/LICENSE'], exclude = ['META-INF/NOTICE', 'META-INF/LICENSE'],
) )