Merge "RCFilters UI: Pass in userId to ChangesListHighlights schema"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Mar 2017 11:13:23 +0000 (11:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Mar 2017 11:13:23 +0000 (11:13 +0000)
commit923bd46b0226059d3f658a574c7e266d77407b10
tree653c68d45da0940e4bade30ff2ad277683d42efe
parent80e2fe10c83a993bf4c7fa264b80c99c6da3a979
parentcfbbc8daa45466107a27cb5868cbc59e8606af3b
Merge "RCFilters UI: Pass in userId to ChangesListHighlights schema"