Merge pull request #9381 from annando/group-number
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Wed, 7 Oct 2020 07:38:39 +0000 (09:38 +0200)
committerGitHub <noreply@github.com>
Wed, 7 Oct 2020 07:38:39 +0000 (09:38 +0200)
Display number of group members in contact widget


Trivial merge