]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.1' into stable-4.2 65/131165/1 stable-4.2
authorDavid Pursehouse <david.pursehouse@gmail.com>
Fri, 19 Oct 2018 01:41:26 +0000 (10:41 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Fri, 19 Oct 2018 01:41:31 +0000 (10:41 +0900)
* stable-4.1:
  JGit v4.0.3.201509231615-r

Change-Id: I6cc5bcefad2e8dee3394770d36608f981bfc9a9e
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>

Trivial merge