Merge "Add SearchResultSetTrait"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Jul 2019 01:30:09 +0000 (01:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Jul 2019 01:30:09 +0000 (01:30 +0000)
commitf4799240ddd6e750968e42da0aee716317b8ca6a
tree49a6797ae55911b5233566d260d84cd7b1f6953f
parent71dec6feac5d1c18feb51c977ca94a4d5d1a2012
parentff6b6a758abdf3d3e452e4e22c35f2287e9070b7
Merge "Add SearchResultSetTrait"