tree 0e07774c73353e81f5dc3aebd97ae4bfe8abd772
parent 8f464883855240bf3ac80d792fa64dc56ea2674a
parent b81092cc99f6c31fd6894263f1b4eb8038d5ed5f
author David Pursehouse <david.pursehouse@gmail.com> 1536737928 +0900
committer David Pursehouse <david.pursehouse@gmail.com> 1536737936 +0900

Merge branch 'stable-4.9' into stable-4.10

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

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