Merge "Add BaseSearchResultSet"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Jul 2019 01:29:33 +0000 (01:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Jul 2019 01:29:33 +0000 (01:29 +0000)
commit71dec6feac5d1c18feb51c977ca94a4d5d1a2012
treec249fbde2f778127476f64732aa1f57bd0eb41b0
parentbc22ecd0c0a0234349e2cc3aacdeef411431bf0b
parente97ff3524bf1ca66bece7cf902ad4e9d5a972608
Merge "Add BaseSearchResultSet"