Merge pull request #15920 from seamuslee001/dev_core_1410
authorSeamus Lee <seamuslee001@gmail.com>
Fri, 22 Nov 2019 01:44:29 +0000 (12:44 +1100)
committerGitHub <noreply@github.com>
Fri, 22 Nov 2019 01:44:29 +0000 (12:44 +1100)
dev/core#1410 Fix E-notice when doin a force case search with a predeā€¦


Trivial merge