From 3c3f32394ee5a132503cec1f120b67f571fa1bd0 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Wed, 13 Nov 2024 10:56:49 +0100 Subject: [PATCH] Upgrade to JGit 5.13.3.202401111512-r. --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index 99fbddd..9cf8bcf 100644 --- a/pom.xml +++ b/pom.xml @@ -131,13 +131,13 @@ org.eclipse.jgit org.eclipse.jgit - 5.13.1.202206130422-r + 5.13.3.202401111512-r org.eclipse.jgit org.eclipse.jgit.gpg.bc - 5.13.1.202206130422-r + 5.13.3.202401111512-r