Merge "mw.rcfilters.ui.SaveFiltersPopupButtonWidget: Remove pointless option"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 27 Dec 2017 21:39:36 +0000 (21:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Dec 2017 21:39:36 +0000 (21:39 +0000)
commita620ccb99ce905d8d8afd51fce2bdb7647cad958
treef9aa4b6ed2e388f2f7bf7c1857ec7456a3f13519
parent59c5caf10c47c0042ce1a4d824e21cb47efa166c
parentd8a06d38972aabe09de4f96934aa5d6f13d27634
Merge "mw.rcfilters.ui.SaveFiltersPopupButtonWidget: Remove pointless option"