tree 9e44eb21e5dc89486e58f4922afc21308516a38d
parent 8527e74ea0ed9413bf8d7fd2bb091b607d1e28b6
parent 83c0369e29e4b4abc56010df34b5e2e29417ff9f
author David Pursehouse <david.pursehouse@gmail.com> 1536746606 +0900
committer David Pursehouse <david.pursehouse@gmail.com> 1536746612 +0900

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>