Merge "RCFilters: Hide server-side 'empty results' message"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 May 2017 21:12:33 +0000 (21:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 May 2017 21:12:33 +0000 (21:12 +0000)
commit8912ea42aab73d798a2f690449a42473a7530426
tree37e443951b85453ab86ebc379b399de40c36b9cf
parent38c21f512f75233d68af616e5d2e3b494df6b2ee
parenta6aefd5629ae8103d943f472fe520eb68f1acd4a
Merge "RCFilters: Hide server-side 'empty results' message"