From: Matthias Sohn Date: Thu, 10 May 2018 09:59:56 +0000 (+0200) Subject: Merge branch 'stable-4.6' into stable-4.7 X-Git-Tag: v5.0.0.201805151920-m7~7^2^2^2^2^2 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=1887c834772d9e035b50ebda4922aa5c8159a31f;p=jgit.git Merge branch 'stable-4.6' into stable-4.7 * stable-4.6: Retry stale file handles on .git/config file Change-Id: If5a21d38224528edfc551b3216daca6a2582e3ac --- 1887c834772d9e035b50ebda4922aa5c8159a31f