Merge pull request #8094 from annando/deletecontact
authorPhilipp <admin+Github@philipp.info>
Sat, 11 Jan 2020 17:40:46 +0000 (18:40 +0100)
committerGitHub <noreply@github.com>
Sat, 11 Jan 2020 17:40:46 +0000 (18:40 +0100)
Ensure that deleted contacts are really removed


Trivial merge