Merge "RCFilters UI: Migrate FloatingMenuSelectWidget to MenuSelectWidget"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 May 2017 19:10:53 +0000 (19:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 May 2017 19:10:53 +0000 (19:10 +0000)
commit97d334a0d44785d6087f25bb7ac71d16b9e17aef
tree482222697744793681b1425a8c184136b2fba7d7
parentf4501571436b9388e09f289e36781831b74aaaa2
parent8af6e14a954cbcdac59634516c3c332a1896415d
Merge "RCFilters UI: Migrate FloatingMenuSelectWidget to MenuSelectWidget"