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)
commit8dab6493ecfd627ee920c9b52a7f4b6b86f75201
tree11794981497fa6ac138ba68dfdcd0d8d3b3e5eb2
parentfc2977caca95128049ff2d613846d708b323c44f
parent2a396f71d563001244666e6c5785f5d532515add
Merge pull request #27088 from seamuslee001/dev_core_4472

dev/core#4472 Drop Index that is not actually needed only recently ad…