Merge "Add a rewind function to SearchResultSet"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 14 Apr 2016 00:00:18 +0000 (00:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 14 Apr 2016 00:00:18 +0000 (00:00 +0000)
commit94e0648605b839dd0a4515e93e707ce410cebb99
treec626d858215187208bbffcf474d30e63ea831f64
parent4f49fd4933a39cfcd9e53194b8e01fd2bbd5f9a4
parent15483b22d7d504e3c22cfc832296d52f5c6ad340
Merge "Add a rewind function to SearchResultSet"