Merge pull request #15657 from demeritcowboy/pledge-search-backport
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 29 Oct 2019 23:35:51 +0000 (12:35 +1300)
committerGitHub <noreply@github.com>
Tue, 29 Oct 2019 23:35:51 +0000 (12:35 +1300)
commit8f8e34e7da30fbc3b2d89f06f9a67eec41587805
tree545569618f3a6310f557c8e4557f38e47f02a391
parentd8ac20a11a7e683ca5e33578a111a067c65cc74e
parentb0f910b2c83a2b74dfc3aa7bd8afc6a13cb969c0
Merge pull request #15657 from demeritcowboy/pledge-search-backport

dev/core#1348 - pledge search not working backport of 15656