diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 17:02:09 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 17:02:23 +0900 |
| commit | 83c0369e29e4b4abc56010df34b5e2e29417ff9f (patch) | |
| tree | 499f5bf969d2b6033c0e324e4d81e870c25bf87b /BUILD | |
| parent | 34618a4f86a322c2f57c0fd8043ab686d920a0c2 (diff) | |
| parent | 59ee33aee477620a6400cdbe46386cdaac8f4e18 (diff) | |
| download | jgit-83c0369e29e4b4abc56010df34b5e2e29417ff9f.tar.gz jgit-83c0369e29e4b4abc56010df34b5e2e29417ff9f.zip | |
Merge branch 'stable-4.10' into stable-4.11
* stable-4.10:
Fix NoSuchFileException during directory cleanup in RefDirectory
Externalize warning message in RefDirectory.delete()
Suppress warning for trying to delete non-empty directory
Change-Id: I191d56e3c0f11cf53076b06c7e7a05492c7a03f1
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'BUILD')
0 files changed, 0 insertions, 0 deletions