]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.1' into stable-4.2 76/66576/1
authorDavid Pursehouse <david.pursehouse@sonymobile.com>
Mon, 15 Feb 2016 01:25:25 +0000 (10:25 +0900)
committerDavid Pursehouse <david.pursehouse@sonymobile.com>
Mon, 15 Feb 2016 01:25:58 +0000 (10:25 +0900)
* stable-4.1:
  JGit v4.1.2.201602141800-r

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

Trivial merge