]> source.dussan.org Git - jgit.git/commitdiff
Merge "Merge branch 'stable-5.11' into stable-5.12" into stable-5.12
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 29 Jun 2021 18:22:22 +0000 (14:22 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Tue, 29 Jun 2021 18:22:22 +0000 (14:22 -0400)

Trivial merge