commit | 2a21b330d62af21a73b7d9846841cb01d7510083 | [log] [tgz] |
---|---|---|
author | David Pursehouse <david.pursehouse@gmail.com> | Fri Oct 19 10:42:21 2018 +0900 |
committer | David Pursehouse <david.pursehouse@gmail.com> | Fri Oct 19 10:42:26 2018 +0900 |
tree | 04afc8c0231486d5d0ab4d0ab92ed44a20b165d1 | |
parent | ffa237e7dbd56df2f28d45113fe0ea03337900f1 [diff] | |
parent | 27acb4ab258300ae1125d740a48d13dadff85ac8 [diff] |
Merge branch 'stable-4.2' into stable-4.3 * stable-4.2: JGit v4.0.3.201509231615-r Change-Id: Ic90ef74497afee9da4b49dcb53302b4efa5b9f26 Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>