]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-4.7' into stable-4.8 99/122399/1
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 10 May 2018 10:08:46 +0000 (12:08 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Thu, 10 May 2018 10:08:46 +0000 (12:08 +0200)
commitd5ff94d57533c885ab1e2c41123229d09dbe1834
treee848ac344cb3b90dbd84c8f9ec209de6ac39057c
parent4ac790fda856296128f475558493c2db4c6d6bda
parent1887c834772d9e035b50ebda4922aa5c8159a31f
Merge branch 'stable-4.7' into stable-4.8

* stable-4.7:
  Retry stale file handles on .git/config file

Change-Id: Ib665c094b28eefb8236752bb273de0c2d9bf9578
org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties
org.eclipse.jgit/src/org/eclipse/jgit/internal/JGitText.java