Merge "API: Filter lists of IDs before sending them to the database"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Dec 2018 14:54:51 +0000 (14:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Dec 2018 14:54:51 +0000 (14:54 +0000)
commitafb48e76d2ce94178b7a3c3d8d616a24cf1726fb
treeef353ef5ab904c586df01d16355e4d85c7269af8
parentf9515cf0049a0948c6766e5887d8a1b495e25325
parente1b2dd4720b88f987bed3a23a1b5ebb2ecc74407
Merge "API: Filter lists of IDs before sending them to the database"