diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-10-08 10:53:54 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-10-08 10:54:09 +0900 |
| commit | 8309f5011eaf161115b8e78a9d8f1a6a2a6c1c86 (patch) | |
| tree | 73df9b58e4844220550be2d93715b6ca56d0101b | |
| parent | 7647b03e94b515187c0d84d228c9f1c85651d415 (diff) | |
| parent | 1bec897ada5f2be6aa4b153ea35d9264c292b458 (diff) | |
| download | jgit-8309f5011eaf161115b8e78a9d8f1a6a2a6c1c86.tar.gz jgit-8309f5011eaf161115b8e78a9d8f1a6a2a6c1c86.zip | |
Merge branch 'stable-5.1'
* stable-5.1:
Update API warning filter to 5.1.3
Change-Id: I5d88e41308dc3076e17463d949efdabcf602305a
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
0 files changed, 0 insertions, 0 deletions