Merge pull request #17708 from demeritcowboy/temp-workaround-case-sort
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 29 Jun 2020 05:34:51 +0000 (15:34 +1000)
committerGitHub <noreply@github.com>
Mon, 29 Jun 2020 05:34:51 +0000 (15:34 +1000)
dev/core#1844 - Temporary workaround to avoid all PR's failing tests


Trivial merge