Merge pull request #16145 from eileenmcnaughton/index_api
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 23 Dec 2019 04:41:10 +0000 (17:41 +1300)
committerGitHub <noreply@github.com>
Mon, 23 Dec 2019 04:41:10 +0000 (17:41 +1300)
Add api to check for missing indices


Trivial merge