Merge "Deprecate SearchResultSet::free"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 22 Jul 2019 20:57:44 +0000 (20:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 22 Jul 2019 20:57:44 +0000 (20:57 +0000)
commit5b3010fcacd1e62d079d16ac622f00eb359d56c1
tree5f7dbb7b644d392a01194a66b0a6af6c88cb8064
parent84f0d2e7df7f351e529079eeb2b09aec261a998c
parent5420bf307b08ec4653f7112c9bf83e877d71d99d
Merge "Deprecate SearchResultSet::free"