[MediaWiki-commits] [Gerrit] mediawiki/core[master]: RC filters: update the state of the app on popstate.
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/340494 ) Change subject: RC filters: update the state of the app on popstate. .. RC filters: update the state of the app on popstate. Al
[MediaWiki-commits] [Gerrit] mediawiki/core[master]: RC filters: update the state of the app on popstate.
Sbisson has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/340494 ) Change subject: RC filters: update the state of the app on popstate. .. RC filters: update the state of the app on popstate. Also re-fetch