]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.11' into stable-5.0 23/124923/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Sat, 23 Jun 2018 04:56:50 +0000 (13:56 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Sat, 23 Jun 2018 04:58:22 +0000 (13:58 +0900)
* stable-4.11:

Empty merge because of previous merge from stable-4.9 into
stable-5.0 and commits subsequently merged into stable-4.10
and stable-4.11.

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

Trivial merge