]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.8' into stable-4.9 95/129195/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 12 Sep 2018 06:55:07 +0000 (15:55 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 12 Sep 2018 06:55:07 +0000 (15:55 +0900)
* stable-4.8:
  Fix NoSuchFileException during directory cleanup in RefDirectory
  Externalize warning message in RefDirectory.delete()
  Suppress warning for trying to delete non-empty directory

Change-Id: I5e6cc35f3673545e7ff857e6ed0bcd2c44e50316
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
1  2 
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