github
/
jgit
mirror of https://gitee.com/github-mirror-repo/jgit.git
1
0
Fork 0
Code Issues Releases Wiki Activity
Browse Source

Update API warning filter to 5.1.3 

We added API in 4.7.5 to fix CVE-2018-17456

Change-Id: I14698fb088de91b8ba8856e461f64138025a89fa
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
stable-5.1
Matthias Sohn 6 years ago
parent
c1ef0d2cfd
commit
1bec897ada
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      org.eclipse.jgit/.settings/.api_filters

2
org.eclipse.jgit/.settings/.api_filters
Unescape View File

@ -3,7 +3,7 @@
<resource path="META-INF/MANIFEST.MF"> <resource path="META-INF/MANIFEST.MF">
<filter id="924844039"> <filter id="924844039">
<message_arguments> <message_arguments>
<message_argument value="5.1.2"/> <message_argument value="5.1.3"/>
<message_argument value="5.1.0"/> <message_argument value="5.1.0"/>
</message_arguments> </message_arguments>
</filter> </filter>

Write Preview
Loading…
Cancel
Save