Merge pull request #14834 from seamuslee001/dev_core_1056
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 16 Jul 2019 20:02:58 +0000 (08:02 +1200)
committerGitHub <noreply@github.com>
Tue, 16 Jul 2019 20:02:58 +0000 (08:02 +1200)
dev/core#1056 Remove unneded schema file


Trivial merge