Chad has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/378192 )
Change subject: Bump core and all plugins to 2.13.9 ...................................................................... Bump core and all plugins to 2.13.9 Change-Id: I76edf0e9a6b91171829050eaa07730e4565ffb1f --- M gerrit.war M plugins/commit-message-length-validator.jar A plugins/its-phabricator.jar M plugins/replication.jar M plugins/reviewnotes.jar 5 files changed, 5 insertions(+), 4 deletions(-) Approvals: Paladox: Looks good to me, but someone else must approve Chad: Verified; Looks good to me, approved diff --git a/gerrit.war b/gerrit.war index af2de9c..ca023c5 100644 --- a/gerrit.war +++ b/gerrit.war @@ -1 +1 @@ -#$# git-fat 5d688379e7c6b219645d874de54edac833b4e37a 51262165 +#$# git-fat ffe0a60170ad298e9525df9238fc4ebde1d533a4 52560761 diff --git a/plugins/commit-message-length-validator.jar b/plugins/commit-message-length-validator.jar index 9bc6e96..362a51d 100644 --- a/plugins/commit-message-length-validator.jar +++ b/plugins/commit-message-length-validator.jar @@ -1 +1 @@ -#$# git-fat cc93672c7896532e8e11d7538ece712397663454 4316 +#$# git-fat 26aa79661819ad2f4d6a185d12cf6ba6384a2c54 4315 diff --git a/plugins/its-phabricator.jar b/plugins/its-phabricator.jar new file mode 100644 index 0000000..55f5102 --- /dev/null +++ b/plugins/its-phabricator.jar @@ -0,0 +1 @@ +#$# git-fat f2dfa16182f8e4468c2b80a5e0b965b738d49866 1445881 diff --git a/plugins/replication.jar b/plugins/replication.jar index 91ca080..6deac4c 100644 --- a/plugins/replication.jar +++ b/plugins/replication.jar @@ -1 +1 @@ -#$# git-fat 1aba9efd991aa924b7d0c98915b771dcb24e510d 210135 +#$# git-fat 3acc66f2cf5283f5b5f79198855e4a16ac4b9394 210135 diff --git a/plugins/reviewnotes.jar b/plugins/reviewnotes.jar index 07267b3..eb964c7 100644 --- a/plugins/reviewnotes.jar +++ b/plugins/reviewnotes.jar @@ -1 +1 @@ -#$# git-fat 1dcfc64ff86760c737a815ed3587515380ae0498 24583 +#$# git-fat 0e6f882616c654644320b510b2748434ca2daff7 24583 -- To view, visit https://gerrit.wikimedia.org/r/378192 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I76edf0e9a6b91171829050eaa07730e4565ffb1f Gerrit-PatchSet: 1 Gerrit-Project: operations/software/gerrit Gerrit-Branch: master Gerrit-Owner: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits