]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-5.0' 02/126702/1
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 27 Jul 2018 12:16:42 +0000 (14:16 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Fri, 27 Jul 2018 12:16:49 +0000 (14:16 +0200)
commit435975e7a937aaba7917115694a1e6bab2c2d840
tree3e95a7e2feeb2582100c7c24a2d4c6eb7db969c4
parentbd4b6d3bf1eb9eb28c933901ac9a8542824b9cfd
parent0db128acd57efef589e973585662da011a8c9e4f
Merge branch 'stable-5.0'

* stable-5.0:
  Prepare 4.7.3-SNAPSHOT builds
  JGit v4.7.2.201807261330-r
  Delete all loose refs empty directories
  Use java.nio to delete path to get detailed errors
  GC: Remove empty references folders
  Do not ignore path deletion errors

Change-Id: I9717444c42ea89195dfcde8bb10121b9bb178e87
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties
org.eclipse.jgit/src/org/eclipse/jgit/internal/JGitText.java