From e39cf68af4ee6af7a8c6162ffe0b82144af32c54 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Tue, 18 Sep 2018 15:03:40 +0200 Subject: [PATCH] Update API problem filter Change-Id: Ie15c7d0b320f75915c362f5bd3bd6b39d84a900a Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index 40255670a..4badd2c1c 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -3,7 +3,7 @@ - +