jenkins-bot has submitted this change and it was merged. Change subject: Update Gadgets to master ......................................................................
Update Gadgets to master Change-Id: Ice764530b44707549eed27e094e01a506e232b74 --- 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 ac74e80..4f65685 160000 --- a/extensions/Gadgets +++ b/extensions/Gadgets -Subproject commit ac74e806be1a20137c09c8ff92ab1f27a138828b +Subproject commit 4f65685257cc5726b756f9f927e4c8ee55450da7 -- To view, visit https://gerrit.wikimedia.org/r/73618 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ice764530b44707549eed27e094e01a506e232b74 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf9 Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
