jenkins-bot has submitted this change and it was merged. Change subject: Update Gather with cherry picks ......................................................................
Update Gather with cherry picks Change-Id: If64689394c8b4a5e32fc543019da02ed52f6d644 --- M extensions/Gather 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: EBernhardson: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/Gather b/extensions/Gather index d8fff3d..efee621 160000 --- a/extensions/Gather +++ b/extensions/Gather -Subproject commit d8fff3d52a873d48ee86a1f68db3049b1216b208 +Subproject commit efee6215b6d25f9d49b010eefcb3f65b4027e787 -- To view, visit https://gerrit.wikimedia.org/r/210826 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If64689394c8b4a5e32fc543019da02ed52f6d644 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.26wmf5 Gerrit-Owner: Robmoen <rm...@wikimedia.org> Gerrit-Reviewer: EBernhardson <ebernhard...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits