Merge pull request #9858 from annando/notify-ignored
authorHypolite Petovan <hypolite@mrpetovan.com>
Sun, 24 Jan 2021 13:59:18 +0000 (08:59 -0500)
committerGitHub <noreply@github.com>
Sun, 24 Jan 2021 13:59:18 +0000 (08:59 -0500)
New setting that controls notifications for ignored contacts


Trivial merge