Merge pull request #18564 from seamuslee001/dev_core_1838
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 29 Sep 2020 19:17:19 +0000 (08:17 +1300)
committerGitHub <noreply@github.com>
Tue, 29 Sep 2020 19:17:19 +0000 (08:17 +1300)
dev/core#1838 Ensure that no fatal error is triggered if you try to a…


Trivial merge