From: Matthias Sohn Date: Sun, 10 Jun 2018 07:21:16 +0000 (+0200) Subject: Merge branch 'stable-4.9' into stable-5.0 X-Git-Tag: v5.0.0.201806131550-r~10 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=6cb0199ffc4f879bc654b28b6e4756abdc6351e5;p=jgit.git Merge branch 'stable-4.9' into stable-5.0 * stable-4.9: Ensure DirectoryStream is closed promptly Change-Id: I447a01e1170db85fcf5978206ed35ad1956a2d82 Signed-off-by: Matthias Sohn --- 6cb0199ffc4f879bc654b28b6e4756abdc6351e5