Merge pull request #6220 from AndyHee/patch20181129
authorHypolite Petovan <hypolite@mrpetovan.com>
Sat, 1 Dec 2018 13:19:38 +0000 (08:19 -0500)
committerGitHub <noreply@github.com>
Sat, 1 Dec 2018 13:19:38 +0000 (08:19 -0500)
Fixing permanent deletion counter


Trivial merge