commit | aebc8a41b8dfd3eb3e37e7ebe4c39719fb94c2a4 | [log] [tgz] |
---|---|---|
author | David Pursehouse <david.pursehouse@gmail.com> | Fri Oct 19 10:38:48 2018 +0900 |
committer | David Pursehouse <david.pursehouse@gmail.com> | Fri Oct 19 10:38:55 2018 +0900 |
tree | 02e78fd87bf3eb5212c7ff431242f18186e6c899 | |
parent | 29159f1171c4930128ab0557836e856ce8cba6c8 [diff] | |
parent | 78a2bafdc90b7c613643f78dd1ff0926334e5407 [diff] |
Merge branch 'stable-4.0' into stable-4.1 * stable-4.0: JGit v4.0.3.201509231615-r Change-Id: Ie74b0392ef145ffd27dc903c45f7fec2d4492a17 Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>