]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-7.1' 04/1203904/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 13 Nov 2024 12:23:15 +0000 (13:23 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 13 Nov 2024 12:23:15 +0000 (13:23 +0100)
* stable-7.1:
  Prepare 7.1.0-SNAPSHOT builds
  JGit v7.1.0.202411121450-m3

Change-Id: Ib507d052f37695f9e8235ef1711f4e8eaa113cd0


Trivial merge