[MediaWiki-commits] [Gerrit] wikimedia...discovery-maven-tool-configs[master]: updated plugins to latest version

Gehel has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/386002 ) Change subject: updated plugins to latest version .. updated plugins to latest version Change-Id:

[MediaWiki-commits] [Gerrit] wikimedia...discovery-maven-tool-configs[master]: updated plugins to latest version

Gehel has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/386002 ) Change subject: updated plugins to latest version .. updated plugins to latest version Change-Id: I17a93a8967dd0da137621c0a7550a35d7749c24c