[04:12:23] (03CR) 10jenkins-bot: build: Updating mediawiki/minus-x to 0.3.1 [extensions/MassMessage] - 10https://gerrit.wikimedia.org/r/412010 (owner: 10Libraryupgrader) [16:58:23] Salut