Merge "RCFilters UI: Display 'no results found' if... no results were found!"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Apr 2017 00:26:08 +0000 (00:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Apr 2017 00:26:08 +0000 (00:26 +0000)
commitf89f25c6b3f42ad8e06b5ec95abb4c0e03f3b0c6
tree46d0612e09d49c75a7e6f413640f4ef68bae1747
parent65997228963a16c56c3529398a50373677cf1cd4
parent03f33cea41b566cbb4b2b98c4e4e240d24bbd1ad
Merge "RCFilters UI: Display 'no results found' if... no results were found!"