Merge "Adapt Recent Changes advanced filters for mobile usage"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Jul 2019 15:23:06 +0000 (15:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Jul 2019 15:23:06 +0000 (15:23 +0000)
commitff391bba34980cc8079744db285f64c2c6d1fa17
tree97bfdfb1a08d8b3c1fc51fd9b7f6bfd951bd0447
parente087b13bd02fd3f965001a60f5b8adc8d7db115f
parentb9886278352969b3008e49044c4e5824ad5070f3
Merge "Adapt Recent Changes advanced filters for mobile usage"