]> source.dussan.org Git - jgit.git/commitdiff
Merge "Merge branch 'stable-5.5'"
authorDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 12 Sep 2019 00:53:11 +0000 (20:53 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Thu, 12 Sep 2019 00:53:12 +0000 (20:53 -0400)

Trivial merge