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>

diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters
index 282d7e8962cc79db3962b15631de67a73cc702e4..f96336d596d2953b06a5431337a57e10c8f5ecf3 100644 (file)
--- a/org.eclipse.jgit/.settings/.api_filters
+++ b/org.eclipse.jgit/.settings/.api_filters
@@ -3,7 +3,7 @@
     <resource path="META-INF/MANIFEST.MF">
         <filter id="924844039">
             <message_arguments>
-                <message_argument value="5.1.2"/>
+                <message_argument value="5.1.3"/>
                 <message_argument value="5.1.0"/>
             </message_arguments>
         </filter>