From 77d090bfe7e5c7aa059da4279534a3d7221070bf Mon Sep 17 00:00:00 2001 From: Duke Date: Sun, 12 Mar 2023 14:45:48 +0100 Subject: [PATCH] Update JGit to version 5.13.1 See also: [5.13.1 | projects.eclipse.org]( https://projects.eclipse.org/projects/technology.jgit/releases/5.13.1) --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index acef7b4..7bd8a3d 100644 --- a/pom.xml +++ b/pom.xml @@ -18,7 +18,7 @@ 2.7 3.9 1.3 - 5.13.0.202109080827-r + 5.13.1.202206130422-r 0.8.7 2.9.2 1.16.0