]> source.dussan.org Git - jgit.git/commitdiff
Merge "Merge branch 'stable-5.3'"
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 7 Mar 2019 16:16:27 +0000 (11:16 -0500)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Thu, 7 Mar 2019 16:16:27 +0000 (11:16 -0500)

Trivial merge