Merge pull request #15939 from demeritcowboy/xml-file-status-check-520
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 25 Nov 2019 21:29:50 +0000 (10:29 +1300)
committerGitHub <noreply@github.com>
Mon, 25 Nov 2019 21:29:50 +0000 (10:29 +1300)
dev/core#1046 Status check for external case xml files


Trivial merge