]> source.dussan.org Git - jgit.git/commit
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)
commit9bdbb06324e7a38bd52b36734e96191578a0cc0c
treed492a2e0cccad5729e26b1ba1327b442721dc70a
parenta263bb11733de8d8113c5ad72030785bc95ebf33
parent9fdc595cdddac5913a2f3d512cc7787bebc3b687
Merge branch 'stable-4.10' into stable-4.11

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

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