Merge pull request #28508 from pradpnayak/mappingseaech
authorMatthew Wire <mjw@mjwconsult.co.uk>
Wed, 6 Dec 2023 00:10:12 +0000 (00:10 +0000)
committerGitHub <noreply@github.com>
Wed, 6 Dec 2023 00:10:12 +0000 (00:10 +0000)
make Mapping entity available on searchkit


Trivial merge