Merge pull request #15763 from seamuslee001/dev_core_1371_5_19
authorSeamus Lee <seamuslee001@gmail.com>
Thu, 7 Nov 2019 23:35:30 +0000 (10:35 +1100)
committerGitHub <noreply@github.com>
Thu, 7 Nov 2019 23:35:30 +0000 (10:35 +1100)
dev/core#1371 Fix e-notice caused by trying to pass in known info to …


Trivial merge