diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 21:25:51 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 21:25:59 +0900 |
| commit | 7b365b2faa1c1568216040b6e3412c6bc1372e54 (patch) | |
| tree | 0e2c3169377fbbc699e1ed3fa3c83931f6f25446 | |
| parent | f1fd1909391b38e97c79094cf8edd1c8cc9cc3a7 (diff) | |
| parent | fc480b3efcb7264ffc331aaf0243404f6499d7f8 (diff) | |
| download | jgit-7b365b2faa1c1568216040b6e3412c6bc1372e54.tar.gz jgit-7b365b2faa1c1568216040b6e3412c6bc1372e54.zip | |
Merge branch 'stable-5.0' into stable-5.1
* stable-5.0:
Fix NoSuchFileException during directory cleanup in RefDirectory
Externalize warning message in RefDirectory.delete()
Suppress warning for trying to delete non-empty directory
Change-Id: I9371f354d685545cc6a268420e44ae4c9577680f
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
0 files changed, 0 insertions, 0 deletions