]> source.dussan.org Git - jgit.git/commitdiff
Merge "Merge branch 'stable-5.5'"
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 4 Oct 2019 19:42:20 +0000 (15:42 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 4 Oct 2019 19:42:20 +0000 (15:42 -0400)

Trivial merge