]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.7' 15/94515/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 6 Apr 2017 01:10:14 +0000 (10:10 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 6 Apr 2017 01:10:22 +0000 (10:10 +0900)
* stable-4.7:
  Prepare 4.7.1-SNAPSHOT
  JGit v4.7.0.201704051617-r

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

Trivial merge