]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.10' into stable-4.11 11/122411/1
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 10 May 2018 10:55:30 +0000 (12:55 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Thu, 10 May 2018 11:36:27 +0000 (13:36 +0200)
* stable-4.10:
  Retry stale file handles on .git/config file

Change-Id: Ice5c8ae8c2992243a81da77e166406bc1930fe0e

1  2 
org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties
org.eclipse.jgit/src/org/eclipse/jgit/internal/JGitText.java