Merge pull request #27088 from seamuslee001/dev_core_4472
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 18 Aug 2023 00:41:08 +0000 (12:41 +1200)
committerGitHub <noreply@github.com>
Fri, 18 Aug 2023 00:41:08 +0000 (12:41 +1200)
dev/core#4472 Drop Index that is not actually needed only recently ad…


Trivial merge