From: David Pursehouse <david.pursehouse@gmail.com>
Date: Wed, 12 Sep 2018 10:03:26 +0000 (+0900)
Subject: Merge branch 'stable-4.11' into stable-5.0
X-Git-Tag: v5.1.1.201809181055-r~4^2
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=fc480b3efcb7264ffc331aaf0243404f6499d7f8;p=jgit.git

Merge branch 'stable-4.11' into stable-5.0

* stable-4.11:
  Fix NoSuchFileException during directory cleanup in RefDirectory
  Externalize warning message in RefDirectory.delete()
  Suppress warning for trying to delete non-empty directory

Change-Id: Ic7eaa0b6a4e750bc7853eb549a9e126269ae22cf
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
---

fc480b3efcb7264ffc331aaf0243404f6499d7f8