Merge pull request #5759 from annando/issue-5733
authorHypolite Petovan <mrpetovan@eml.cc>
Wed, 12 Sep 2018 23:40:03 +0000 (19:40 -0400)
committerGitHub <noreply@github.com>
Wed, 12 Sep 2018 23:40:03 +0000 (19:40 -0400)
Issue 5733: Removing contacts does work now on the same machine as well


Trivial merge