Merge pull request #14092 from eileenmcnaughton/search_513
authorSeamus Lee <seamuslee001@gmail.com>
Sat, 20 Apr 2019 02:18:43 +0000 (12:18 +1000)
committerGitHub <noreply@github.com>
Sat, 20 Apr 2019 02:18:43 +0000 (12:18 +1000)
commitc0da18f02fc4140c42c2e5bd5a4428e0b1b16040
tree12f51f507556341a9d29e61edf0c6f0ef1bf7287
parentdc673140ba474cdafcfa46466ec6f6d91dea7a65
parentb9c90943cdc075013cf63ffd9d554e1da87fbdfe
Merge pull request #14092 from eileenmcnaughton/search_513

dev/core#887 Fix fatal error on pledge search