]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.6' into stable-4.7 98/122398/1
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 10 May 2018 09:59:56 +0000 (11:59 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Thu, 10 May 2018 09:59:56 +0000 (11:59 +0200)
* stable-4.6:
  Retry stale file handles on .git/config file

Change-Id: If5a21d38224528edfc551b3216daca6a2582e3ac

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/storage/file/FileBasedConfig.java