From ebe1e15781254a116737a463b6e18c50d0904095 Mon Sep 17 00:00:00 2001
From: Matthias Sohn
Date: Wed, 2 Oct 2019 00:32:04 +0200
Subject: JGit v5.1.12.201910011832-r

Change-Id: I69fef9b2cdc18bbf1c8b9b290fb3d190684be13c
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
---
 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 244cfe851a..e644272396 100644
--- a/org.eclipse.jgit.http.server/pom.xml
+++ b/org.eclipse.jgit.http.server/pom.xml
@@ -52,7 +52,7 @@
   <parent>
     <groupId>org.eclipse.jgit</groupId>
     <artifactId>org.eclipse.jgit-parent</artifactId>
-    <version>5.1.12-SNAPSHOT</version>
+    <version>5.1.12.201910011832-r</version>
   </parent>
 
   <artifactId>org.eclipse.jgit.http.server</artifactId>
-- 
cgit v1.2.3