Merge pull request #6152 from JonnyTischbein/issue_delete_from_saved_folder
authorHypolite Petovan <hypolite@mrpetovan.com>
Sat, 17 Nov 2018 16:59:24 +0000 (11:59 -0500)
committerGitHub <noreply@github.com>
Sat, 17 Nov 2018 16:59:24 +0000 (11:59 -0500)
Fix deleting last element and displaying empty saved folder


Trivial merge