tree 616aed1061be829f7678d4458a19fd51f62b67c7
parent de0a6879484e1a31dee4ccc5ad2ca9856d6b0746
parent db756e914708ff29d93c2cba040aa19ea1a485c6
author David Pursehouse <david.pursehouse@gmail.com> 1536735307 +0900
committer David Pursehouse <david.pursehouse@gmail.com> 1536735307 +0900

Merge branch 'stable-4.8' into stable-4.9

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

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