[03:07:57] (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/minus-x to 0.3.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/559299 (owner: 10Libraryupgrader) [03:46:56] (03CR) 10Legoktm: [C: 03+2] build: Updating mediawiki/minus-x to 0.3.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/559299 (owner: 10Libraryupgrader)