]> source.dussan.org Git - jgit.git/commitdiff
Merge "Merge branch 'stable-6.5'"
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 28 Apr 2023 19:22:52 +0000 (15:22 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 28 Apr 2023 19:22:52 +0000 (15:22 -0400)

Trivial merge