]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-4.9' into stable-4.10 01/122401/1
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 10 May 2018 10:51:57 +0000 (12:51 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Thu, 10 May 2018 10:51:57 +0000 (12:51 +0200)
commit9fdc595cdddac5913a2f3d512cc7787bebc3b687
tree16ddb311ee1a330b17d8eefec21aceb0763961b8
parent95fc2b210f3df3a1ff5c729dbc0624e3d25d34bd
parentdd9a14a762c796080f95f638c5c77b26c3e5fe11
Merge branch 'stable-4.9' into stable-4.10

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

Change-Id: I6db7256dbd1c71b23e1231809642ca21e996e066
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
org.eclipse.jgit/src/org/eclipse/jgit/storage/file/FileBasedConfig.java