From f014febe3409c4def0907b278a0c2ff9b3cd6533 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Fri, 17 Jun 2022 10:24:03 +0200 Subject: [PATCH] Suppress API errors raised for new API introduced in 5.13.1 Change-Id: I55ec887c3192468d7773e8cf0236c7ed48af3ade --- org.eclipse.jgit/.settings/.api_filters | 38 ++++++++++++++++--------- 1 file changed, 24 insertions(+), 14 deletions(-) diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index 00b89a4b3..6eb8bd373 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -9,20 +9,6 @@ - - - - - - - - - - - - - - @@ -32,6 +18,12 @@ + + + + + + @@ -59,6 +51,15 @@ + + + + + + + + + @@ -75,4 +76,13 @@ + + + + + + + + +