Merge pull request #5901 from annando/catch-error
authorHypolite Petovan <hypolite@mrpetovan.com>
Sat, 13 Oct 2018 14:52:18 +0000 (10:52 -0400)
committerGitHub <noreply@github.com>
Sat, 13 Oct 2018 14:52:18 +0000 (10:52 -0400)
Catching error when compacting doesn't work


Trivial merge