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)
commit7618d57fc8696f5a54ff20b4c1ff151f81c1aa23
tree781dec759e021fb5533ffc56c06d925d57eae399
parentb9681feaafd489372421fd2c9c6085baca7c2c1e
parent11ac6a2b9911b768cd1322db2d6ad20cd894ae9f
Merge pull request #15920 from seamuslee001/dev_core_1410

dev/core#1410 Fix E-notice when doin a force case search with a predeā€¦