]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-4.11' into stable-5.0 13/129213/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 12 Sep 2018 10:03:26 +0000 (19:03 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 12 Sep 2018 10:03:32 +0000 (19:03 +0900)
commitfc480b3efcb7264ffc331aaf0243404f6499d7f8
tree9e44eb21e5dc89486e58f4922afc21308516a38d
parent8527e74ea0ed9413bf8d7fd2bb091b607d1e28b6
parent83c0369e29e4b4abc56010df34b5e2e29417ff9f
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>
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