jenkins-bot has submitted this change and it was merged. Change subject: Updating Zero to master ......................................................................
Updating Zero to master Change-Id: Ib97877d79f7304a3412f5bc7201b20c2439e05dc --- M extensions/JsonConfig M extensions/ZeroBanner M extensions/ZeroPortal 3 files changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/JsonConfig b/extensions/JsonConfig index fd6efb0..794d8fe 160000 --- a/extensions/JsonConfig +++ b/extensions/JsonConfig -Subproject commit fd6efb0cdb3ddd5f1ed481e9dd4eae8697a0aefb +Subproject commit 794d8fe7a5b4b06538c4a0e5014add11b3a0a982 diff --git a/extensions/ZeroBanner b/extensions/ZeroBanner index 3e03747..1bba097 160000 --- a/extensions/ZeroBanner +++ b/extensions/ZeroBanner -Subproject commit 3e0374713dbf5971cbf19199e4555353142ab4d7 +Subproject commit 1bba0971b5c0384fa133608ac0722ceaceeca2a6 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 296befd..bf4e9f0 160000 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 296befdff42d5672fab3ea6e8b5fd9f87da57b6d +Subproject commit bf4e9f01314078ecbe81f9c9917f2bae5c69587d -- To view, visit https://gerrit.wikimedia.org/r/145026 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib97877d79f7304a3412f5bc7201b20c2439e05dc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.24wmf11 Gerrit-Owner: Yurik <yu...@wikimedia.org> Gerrit-Reviewer: Yurik <yu...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits