jenkins-bot has submitted this change and it was merged. Change subject: Update Gadgets to master ......................................................................
Update Gadgets to master Change-Id: I9f1fdc946092cf3646279a580e5b35dcdb73b111 --- M extensions/Gadgets 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/Gadgets b/extensions/Gadgets index ba1a586..4f65685 160000 --- a/extensions/Gadgets +++ b/extensions/Gadgets -Subproject commit ba1a5869c13d0004c8d38d761bdf6dc8d5b268b9 +Subproject commit 4f65685257cc5726b756f9f927e4c8ee55450da7 -- To view, visit https://gerrit.wikimedia.org/r/73619 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9f1fdc946092cf3646279a580e5b35dcdb73b111 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf10 Gerrit-Owner: Reedy <re...@wikimedia.org> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits