Merge pull request #9297 from annando/updates-used-public-contacts
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 27 Sep 2020 12:22:52 +0000 (14:22 +0200)
committerGitHub <noreply@github.com>
Sun, 27 Sep 2020 12:22:52 +0000 (14:22 +0200)
Only update public contacts that are in use


Trivial merge