diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 19:03:26 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 19:03:32 +0900 |
| commit | fc480b3efcb7264ffc331aaf0243404f6499d7f8 (patch) | |
| tree | 9e44eb21e5dc89486e58f4922afc21308516a38d /BUILD | |
| parent | 8527e74ea0ed9413bf8d7fd2bb091b607d1e28b6 (diff) | |
| parent | 83c0369e29e4b4abc56010df34b5e2e29417ff9f (diff) | |
| download | jgit-fc480b3efcb7264ffc331aaf0243404f6499d7f8.tar.gz jgit-fc480b3efcb7264ffc331aaf0243404f6499d7f8.zip | |
Merge branch 'stable-4.11' into stable-5.0
* stable-4.11:
Fix NoSuchFileException during directory cleanup in RefDirectory
Externalize warning message in RefDirectory.delete()
Suppress warning for trying to delete non-empty directory
Change-Id: Ic7eaa0b6a4e750bc7853eb549a9e126269ae22cf
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'BUILD')
0 files changed, 0 insertions, 0 deletions