[09:07:22] (CR) Umherirrender: [V: +2] build: Updating mediawiki/minus-x to 0.3.2 [extensions/SemanticDrilldown] - https://gerrit.wikimedia.org/r/558847 (owner: Libraryupgrader) [09:08:19] (CR) Umherirrender: [V: +2] build: Updating mediawiki/minus-x to 0.3.2 [extensions/SemanticWebBrowser] - https://gerrit.wikimedia.org/r/558852 (owner: Libraryupgrader)