]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-4.10' into stable-4.11 99/129199/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 12 Sep 2018 08:02:09 +0000 (17:02 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 12 Sep 2018 08:02:23 +0000 (17:02 +0900)
commit83c0369e29e4b4abc56010df34b5e2e29417ff9f
tree499f5bf969d2b6033c0e324e4d81e870c25bf87b
parent34618a4f86a322c2f57c0fd8043ab686d920a0c2
parent59ee33aee477620a6400cdbe46386cdaac8f4e18
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>
org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties
org.eclipse.jgit/src/org/eclipse/jgit/internal/JGitText.java
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/RefDirectory.java