diff options
author | David Pursehouse <david.pursehouse@gmail.com> | 2018-10-19 10:43:03 +0900 |
---|---|---|
committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-10-19 10:43:07 +0900 |
commit | 0de9ca38f45c90835b39110abae6f5a575320d11 (patch) | |
tree | fe8ed17d1dca7043c840432cb4e0d7313af5329d | |
parent | bcc6b5926fd32b54f5df66294cbe23c92e683799 (diff) | |
parent | 2a21b330d62af21a73b7d9846841cb01d7510083 (diff) | |
download | jgit-0de9ca38f45c90835b39110abae6f5a575320d11.tar.gz jgit-0de9ca38f45c90835b39110abae6f5a575320d11.zip |
Merge branch 'stable-4.3' into stable-4.4stable-4.4
* stable-4.3:
JGit v4.0.3.201509231615-r
Change-Id: I147d81a9cc9c0f9e66084897df9c88c369539db7
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
0 files changed, 0 insertions, 0 deletions