]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.9' into stable-5.0 01/124301/2
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 10 Jun 2018 07:21:16 +0000 (09:21 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 10 Jun 2018 07:23:52 +0000 (09:23 +0200)
* stable-4.9:
  Ensure DirectoryStream is closed promptly

Change-Id: I447a01e1170db85fcf5978206ed35ad1956a2d82
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>

Trivial merge