Merge pull request #5607 from annando/remove-contact
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 13 Aug 2018 04:42:08 +0000 (06:42 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Aug 2018 04:42:08 +0000 (06:42 +0200)
Remove contacts in the background


Trivial merge