Merge pull request #13145 from MrPetovan/bug/warnings
authorPhilipp <admin+Github@philipp.info>
Sat, 20 May 2023 15:42:54 +0000 (17:42 +0200)
committerGitHub <noreply@github.com>
Sat, 20 May 2023 15:42:54 +0000 (17:42 +0200)
Refer to correct contact field in Core/Search


Trivial merge