Merge "RCFilters: set live update button title"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Aug 2017 19:26:07 +0000 (19:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Aug 2017 19:26:07 +0000 (19:26 +0000)
commita8aa2c819586ab34d0bd5d43873c976cb8096e5c
tree755c068cb213892f95047b3233dfa715e85039ea
parent9174674b8fa07cb744cb7f01d2402beaf0b07991
parente3460a6666cd5b6302d0e646eb34846bf24eb11c
Merge "RCFilters: set live update button title"