Merge "RC filters: Let the group widget know its own name"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 9 Feb 2017 12:26:24 +0000 (12:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 9 Feb 2017 12:26:25 +0000 (12:26 +0000)
commit7bc816e4483398c7a830f65584c97e6a2cbd5be8
tree69361119150d466059003fdf9f88dbd18d9c7a43
parent135b5fd1fea7804ccbd54e94b789bf269ab7b7cc
parentcd364dbdd51fbc18bf887d8e8e18cf37cb0d1e2e
Merge "RC filters: Let the group widget know its own name"