From e51d2fcda89e0456930f5c46da933072968dfb60 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Tue, 31 Jul 2018 17:31:30 +0200 Subject: JGit v4.11.1.201807311124-r Change-Id: Ic58a916d7e2c380b84690afa5e3517c6c178af8c Signed-off-by: Matthias Sohn --- org.eclipse.jgit.http.server/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'org.eclipse.jgit.http.server/pom.xml') diff --git a/org.eclipse.jgit.http.server/pom.xml b/org.eclipse.jgit.http.server/pom.xml index c132932501..eb78bd07f6 100644 --- a/org.eclipse.jgit.http.server/pom.xml +++ b/org.eclipse.jgit.http.server/pom.xml @@ -52,7 +52,7 @@ org.eclipse.jgit org.eclipse.jgit-parent - 4.11.1-SNAPSHOT + 4.11.1.201807311124-r org.eclipse.jgit.http.server -- cgit v1.2.3