Merge pull request #186 from WoltLab/hasOtherParticipants
authorTim Düsterhus <duesterhus@woltlab.com>
Tue, 26 Sep 2023 15:03:55 +0000 (17:03 +0200)
committerGitHub <noreply@github.com>
Tue, 26 Sep 2023 15:03:55 +0000 (17:03 +0200)
Fix Conversation::hasOtherParticipants()


Trivial merge