Merge pull request #17836 from seamuslee001/dev_core_1874
authorMonish Deb <monish.deb@jmaconsulting.biz>
Thu, 16 Jul 2020 06:51:35 +0000 (12:21 +0530)
committerGitHub <noreply@github.com>
Thu, 16 Jul 2020 06:51:35 +0000 (12:21 +0530)
dev/core#1874 Fix fatal error by passing through the string formatTyp…


Trivial merge