diff options
author | David Pursehouse <david.pursehouse@gmail.com> | 2018-10-19 10:41:26 +0900 |
---|---|---|
committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-10-19 10:41:31 +0900 |
commit | 27acb4ab258300ae1125d740a48d13dadff85ac8 (patch) | |
tree | 7077ad0b9ca6672d7c1fac0c453084cb14459089 | |
parent | 8c1d44e4366139ed971a98367962e7afb4893156 (diff) | |
parent | aebc8a41b8dfd3eb3e37e7ebe4c39719fb94c2a4 (diff) | |
download | jgit-27acb4ab258300ae1125d740a48d13dadff85ac8.tar.gz jgit-27acb4ab258300ae1125d740a48d13dadff85ac8.zip |
Merge branch 'stable-4.1' into stable-4.2stable-4.2
* stable-4.1:
JGit v4.0.3.201509231615-r
Change-Id: I6cc5bcefad2e8dee3394770d36608f981bfc9a9e
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
0 files changed, 0 insertions, 0 deletions