Merge "RCFilters: Improve loading animation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 25 Jul 2017 23:52:54 +0000 (23:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 25 Jul 2017 23:52:54 +0000 (23:52 +0000)
commit9f0d59cd8e456c04c7d332122e4b95be54960bec
treecfb4a5660dcbb2a5a8a442bc607d8f42fbb70a21
parent3aa1cd89d574283c5749710d7b80182d056ae146
parentdc9519393c8bf661915c979e7a6b9f68a172f628
Merge "RCFilters: Improve loading animation"